CMI, Aug-Nov 2025, S P Suresh
Suresh & Mukund (n.d.), Sørensen (2006), Wadler (2015)
References
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.
Wadler, P. (2015). Propositions as Types. Communications of the ACM, 58(12), 75–84. https://doi.org/10.1145/2699407