Tags
Language
Tags
March 2024
Su Mo Tu We Th Fr Sa
25 26 27 28 29 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31 1 2 3 4 5 6

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

Posted By: step778
Adapting Proofs-as-Programs: The Curry--Howard Protocol

Iman Poernomo, John N. Crossley, Martin Wirsing, "Adapting Proofs-as-Programs: The Curry–Howard Protocol"
2005 | pages: 430 | ISBN: 1441920145 | PDF | 2,2 mb

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, complex software engineering problems. One of the books central themes is a general, abstract framework for developing new systems of programs synthesis by adapting proofs-as-programs to new contexts.

My Links