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
Powered by AI (Beta)
Loading...

Description

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 to industrial-scale, co...

Read more

Community Reviews

Loading...

Content Warnings

Loading...