Lectures on the Curry-Howard Isomorphism

By M. Sørensen, P. Urzyczyn. 2013

381 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/781bdeaaaff1042e3f27433486da4aa1c81b19f7