Paperback
Add to list Added to list Adapting Proofs-as-Programs: The Curry–Howard Protocol
Iman Poernomo,John N. Crossley,Martin Wirsing
This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications…
Available to order, ships in 7-14 daysAvailable to order
