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. Retrieved August 26, 2025, from https://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching/INF551/course.pdf
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. https://www.cmi.ac.in/~madhavan/courses/logic2012/reading/logic-aug2011.pdf
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