Lectures on the Curry-Howard isomorphism
Sørensen, Morten Heine.
Lectures on the Curry-Howard isomorphism [electronic resource] / Morten Heine Sørensen, Paweł Urzyczyn. - 1st ed. - Amsterdam ; Boston [MA] : Elsevier, 2006. - xiv, 442 p. : ill. - Studies in logic and the foundations of mathematics, v. 149 0049-237X ; . - Studies in logic and the foundations of mathematics ; v. 149. .
Includes bibliographical references (p. 403-430) and index.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2011.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Curry-Howard isomorphism.
Lambda calculus.
Proof theory.
Electronic books.
QA9.54 / .S67 2006eb
511.3/26
Lectures on the Curry-Howard isomorphism [electronic resource] / Morten Heine Sørensen, Paweł Urzyczyn. - 1st ed. - Amsterdam ; Boston [MA] : Elsevier, 2006. - xiv, 442 p. : ill. - Studies in logic and the foundations of mathematics, v. 149 0049-237X ; . - Studies in logic and the foundations of mathematics ; v. 149. .
Includes bibliographical references (p. 403-430) and index.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2011.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Curry-Howard isomorphism.
Lambda calculus.
Proof theory.
Electronic books.
QA9.54 / .S67 2006eb
511.3/26