[Studies in Logic and the Foundations of Mathematics] Lectures on the Curry-Howard Isomorphism Volume 149 || The Curry-Howard isomorphism
Sørensen, Morten HeineYear:
2006
Language:
english
DOI:
10.1016/S0049-237X(06)80005-4
File:
PDF, 2.98 MB
english, 2006