Morten Heine Sorensen and Pawel Urzyczyn Lectures on the Curry-howard Isomorphism, Elsevier, Studies in Logic and the Foundations of Mathematics, vol. 149, 2006 著者のお一人 Sorensen さんはかつて日本にも一時期おられたようである。 P.S. 先日…