Adapting proofs-as-programs : the curry - howard protocol /

Adapting proofs-as-programs : the curry - howard protocol /

Includes bibliographical references (p. [407]-416) and index

Bibliographic Details
Main Authors: 287020 Poernomo, Iman Hafiz, Crossley, John N., Wirsing, M. (Martin)
Format:
Language:eng
Published: New York, NY : Springer, 2005
Subjects:
Curry-Howard isomorphism
Proof theory
Logic, Symbolic and mathematical
Functional programming (Computer science)
Lambda calculus
Abstract data types (Computer science)

Similar Items