Adapting Proofs-as-Programs: The Curry - Howard Protocol (Monographs in Computer Science)

Adapting Proofs-as-Programs: The Curry - Howard Protocol (Monographs in Computer Science)

by Martin Wirsing (Author), Martin Wirsing (Author), John N. Crossley (Author), Iman Poernomo (Author)

Synopsis

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.

$204.30

Quantity

20+ in stock

More Information

Format: Illustrated
Pages: 436
Edition: 2005
Publisher: Springer
Published: 29 Jul 2005

ISBN 10: 0387237593
ISBN 13: 9780387237596