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

Chicago

Poernomo, Iman Hafiz, John Newsome Crossley, Martin Wirsing. Adapting Proofs-as-Programs: The Curry-Howard Protocol (Monographs in Computer Science). Springer, 2005.