Sorenson, M.H.
Lectures on the Curry-Howard Isomorphism - Elsevier London 2006 - 442 - Studies in Logic and the Foundations of Mathematics; 00149 .
9780444520777
681.3 SOR
Lectures on the Curry-Howard Isomorphism - Elsevier London 2006 - 442 - Studies in Logic and the Foundations of Mathematics; 00149 .
9780444520777
681.3 SOR