CMI, Aug-Nov 2025, M Praveen
Enderton (2001), Suresh & Mukund (n.d.), Sørensen (2006), Wadler (2015), von Plato (n.d.), Mimram (n.d.)
References
Enderton, H. B. (2001). A Mathematical Introduction to Logic (2nd ed). Harcourt/Academic Press.
Mimram, S. (n.d.). Program = Proof.
Sørensen, M. H. (2006). Lectures on the Curry-Howard Isomorphism (1st ed). Elsevier Science & Technology.
Suresh, S. P., & Mukund, M. (n.d.). An Introduction to Logic.
von Plato, J. (n.d.). Elements of Logical Reasoning.
Wadler, P. (2015). Propositions as Types. Communications of the ACM, 58(12), 75–84. https://doi.org/10.1145/2699407