Franklin

Adapting proofs-as-programs : the Curry-Howard protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing.

Author/Creator:
Poernomo, Iman Hafiz, 1976-
Publication:
New York : Springer Science+Business Media, c2005.
Format/Description:
Book
xi, 420 p. : ill. ; 25 cm.
Series:
Monographs in computer science
Status/Location:
Loading...

Get It

Details

Subjects:
Curry-Howard isomorphism.
Proof theory.
Logic, Symbolic and mathematical.
Functional programming (Computer science).
Lambda calculus.
Abstract data types (Computer science).
Notes:
Includes bibliographical references (p. [407]-416) and index.
Contributor:
Crossley, John N.
Wirsing, M. (Martin)
ISBN:
0387237593 (hardback : acid-free paper)
OCLC:
58478542