Adapting Proofs-as-Programs

Adapting Proofs-as-Programs

The Curry--Howard Protocol

Versandkostenfrei!
Versandfertig in 6-10 Tagen
112,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
56 °P sammeln!
This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has been over thirty years since the paradigm was ?rst conceived. At that time, there was a belief that proofs-as-programs had the - tential for practical application to semi-automated software development. I- tial applications were mostly concerned with ?ne-grain, mathematical program synthesis. For various reasons, research interest in the area eventually tended toward more theoretic issues of constructive logic and typ...