Search
❯
21 Feb 20261 min read
Sorensen, M. H., & Urzyczyn, P. (2006). Lectures on the Curry-Howard Isomorphism. Elsevier.