P.: Lectures on the Curry-Howard Isomorphism (2006)

by M H Sørensen, Urzyczyn
Venue:of Studies in Logic and the Foundations of Mathematics, Elsevier