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