Normal view MARC view ISBD view

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

By: Crossley, John N.
Contributor(s): Poernomo, Iman Hafiz | Wirsing, Martin.
Material type: materialTypeLabelBookSeries: Monographs in computer science.Publisher: New York: Springer, 2005Description: xi, 420 p.; ill.: 24 cm.ISBN: 0387237593 .Subject(s): Logic, Symbolic and mathematical | Curry-Howard isomorphism | Functional programming (Computer science) | Lambda calculus | Proof theoryDDC classification: 511.36
Tags from this library: No tags from this library for this title. Log in to add tags.

Powered by Koha