Lectures on the curry-howard isomorphism (1998)

by Morten Heine Sørensen, Pawel Urzyczyn