TY  - BOOK
AU  - Sorenson, M.H.
AU  - Urzyczyn, P.
TI  - Lectures on the Curry-Howard Isomorphism
SN  - 9780444520777
PB  - Elsevier
ER  -