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

Personal Author
: 
Poernomo, Iman Hafiz

Series
: 
Monographs in computer science

Publication Information
: 
New York, NY : Springer, 2005

Physical Description
: 
xi, 420 p. : ill. ; 24 cm.

ISBN
: 
9780387237596

Subject Term
: 
Curry-Howard isomorphism
 
Proof theory
 
Logic, Symbolic and mathematical
 
Functional programming (Computer science)
 
Lambda calculus
 
Abstract data types (Computer science)

Added Author
: 
Crossley, John N.
 
Wirsing, M. (Martin)


LibraryItem BarcodeCall NumberMaterial TypeItem Category 1
PSZ JB30000010229374QA9.54 P64 2005Open Access BookBook
PSZ KL30000010226356QA9.54 P64 2005Open Access BookBook