Adapting Proofs-as-Programs : The Curry-Howard Protocol
by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley.
New York, NY : Springer Science+Business Media Inc., 2005.
v.: digital
Serie: Monographs in Computer Science, ISSN 0172-603X
ISBN: 9780387281834