Adapting Proofs-as-Programs: The Curry-Howard Protocol (Monographs in Computer Science)

Name: Adapting Proofs-as-Programs: The Curry-Howard Protocol (Monographs in Computer Science)
ISBN: 9780387237596

Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing · Springer · 2005

APA

Poernomo, I. H., Crossley, J. N., & Wirsing, M. (2005). Adapting Proofs-as-Programs: The Curry-Howard Protocol (Monographs in Computer Science). Springer.