Cover Image

Adapting proofs-as-programs : the Curry-Howard protocol /

Bibliographic Details
Main Author: Poernomo, Iman Hafiz, 1976-
Corporate Author: SpringerLink (Online service)
Other Authors: Crossley, John N., Wirsing, M. (Martin)
Format: eBook
Language:English
Published: New York : Springer, [2005]
Series:Monographs in computer science.
Subjects:
Abstract data types (Computer science)
Curry-Howard isomorphism.
Functional programming (Computer science)
Lambda calculus.
Logic, Symbolic and mathematical.
Proof theory.
Electronic books.
Online Access:Connect to the full text of this electronic book
Publisher description
Description
Item Description:Electronic resource.
Physical Description:xi, 420 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references (pages [407]-416) and index.
ISBN:0387281835
9780387281834
DOI:10.1007/0-387-28183-5