Martin Wirsing

1 book

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