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, http://id.loc.gov/vocabulary/relators/aut), Crossley, John N. (http://id.loc.gov/vocabulary/relators/aut), Wirsing, Martin. (http://id.loc.gov/vocabulary/relators/aut)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:English
Published: New York, NY : Springer New York : Imprint: Springer, 2005.
Edition:1st ed. 2005.
Series:Monographs in Computer Science,
Subjects:
Online Access:https://doi.org/10.1007/0-387-28183-5
Tags: Add Tag
No Tags, Be the first to tag this record!