Mati Pentus
-
Encoding Hamiltonian circuits into multiplicative linear logic
Theoretical Computer Science
Lambek calculus is NP-complete
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics