Lê Thành Dũng 'Tito' Nguyễn

462
reputation

Linear logician turned automata theorist.