Lectures on the Curry-Howard isomorphism
Lectures on the Curry-Howard isomorphism is a book. It was written by Morten Heine Sørensen and published by Elsevier Science in 2006.
Key facts
- author: Morten Heine Sørensen
- publication date: 2006
- book publisher: Elsevier Science
- book series: Studies in logic and the foundations of mathematics
- book subjects: Proof theory, Lambda calculus, Curry-Howard isomorphism
Extract data
Download datasets about Lectures on the Curry-Howard isomorphism:
Dataset of books series that contain Lectures on the Curry-Howard isomorphism:
Dataset of book subjects that contain Lectures on the Curry-Howard isomorphism:
"Lectures on the Curry-Howard isomorphism" is one of the books by Morten Heine Sørensen, books by Elsevier Science and 2,617,384 books in our database.
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.