Browse editions

Current edition
Adapting Proofs-As-Programs: The Curry--Howard Protocol by Iman Poernomo, John N. Crossley, Martin Wirsing

Adapting Proofs-As-Programs: The Curry--Howard Protocol

Monographs in Computer Science

Iman Poernomo, John N. Crossley, Martin Wirsing

420 pages • missing pub info (editions)

nonfiction computer science design mathematics medium-paced
Other editions (1)
Expand filter menu Filter editions
Adapting Proofs-As-Programs: The Curry--Howard Protocol by Iman Poernomo, John N. Crossley, Martin Wirsing

Adapting Proofs-As-Programs: The Curry--Howard Protocol

Monographs in Computer Science

Iman Poernomo, John N. Crossley, Martin Wirsing

420 pages • missing pub info (editions)

nonfiction computer science design mathematics medium-paced