Adapting Proofs-as-Programs [electronic resource] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley.
By: Poernomo, Iman Hafiz.
Contributor(s): Wirsing, Martin | Crossley, John Newsome | SpringerLink (Online service).
Material type:
BookSeries: Monographs in Computer Science.Publisher: New York, NY : Springer New York, 2005Description: digital.ISBN: 9780387281834.Subject(s): Computer science | Logic design | Software engineering | Logic, Symbolic and mathematical | Computer Science | Logics and Meanings of Programs | Mathematical Logic and Foundations | Logic Design | Programming Techniques | Software Engineering/Programming and Operating Systems | Models and PrinciplesDDC classification: 005.1015113 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.