1. Lectures on the Curry-Howard isomorphism. (2006) Other Names: Sørensen, Morten Heine; Urzyczyn, Paweł Record Type: Book Extent: 1 online resource (456 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗