Curry-Howard isomorphism
ShareCopied to clipboardCurry-Howard isomorphism is a book subject. It includes 3 books, written by 2 different authors.
Key facts
- number of authors: 2 people
- number of books: 3
- books: Adapting proofs-as-programs : the Curry-Howard protocol, Lectures on the Curry-Howard isomorphism
- authors: Iman Hafiz Poernomo, Morten Heine Sørensen
- publication dates: 2011, 2006, 2006
- book publishers: : Springer, Elsevier Science, North-Holland Biomedical Press
See more factsExtract data
Download datasets about Curry-Howard isomorphism:
Dataset of books about Curry-Howard isomorphism:
"Curry-Howard isomorphism" is one of the 293,135 book subjects in our database.
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.