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

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 ha...

Full description

Saved in:
Bibliographic Details
Main Authors: Poernomo, Iman. (Author,, Crossley, John N. (, Wirsing, Martin. (
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Published: New York, NY : Springer New York : Imprint: Springer, 2005.
Edition:1st ed. 2005.
Series:Monographs in Computer Science,
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!