Adapting proofs-as-programs : the Curry-Howard protocol
ShareCopied to clipboardAdapting proofs-as-programs : the Curry-Howard protocol is a book. It was written by Iman Hafiz Poernomo and published by : Springer in 2011.
Key facts
- author: Iman Hafiz Poernomo
- publication date: 2011
- book publisher: : Springer
- book series: Monographs in computer science
- book subjects: Proof theory, Curry-Howard isomorphism
See more factsExtract data
Download datasets about Adapting proofs-as-programs : the Curry-Howard protocol:
Dataset of books series that contain Adapting proofs-as-programs : the Curry-Howard protocol:
Dataset of book subjects that contain Adapting proofs-as-programs : the Curry-Howard protocol:
"Adapting proofs-as-programs : the Curry-Howard protocol" is one of the books by Iman Hafiz Poernomo, books by : Springer 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.