The Significance of the Curry-Howard Isomorphism

DOI10.1515/9783110657883-018zbMATH Open1465.03058OpenAlexW3102065375MaRDI QIDQ5115868

Richard Zach

Publication date: 21 August 2020

Published in: Philosophy of Logic and Mathematics (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1880/112761

Mathematics Subject Classification ID

Could not fetch data.

Recommendations

• Lectures on the Curry-Howard isomorphism 👍 👎
• A Remark on Hörmander’s Isomorphism 👍 👎
• A remark on the Isomorphism Conjectures 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: The Significance of the Curry-Howard Isomorphism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5115868)