0387237593 (hardback : acid-free paper)
IR
EN-54256
انگلیسی
IR
Adapting proofs-as-programs
[Book]
:the Curry-Howard protocol
/ Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
New York
: Springer
, c2005.
xi, 420 p. , ill. , 24 cm.
(Monographs in computer science)
Electronic
Includes bibliographical references (p. [407]-416) and index.
Curry-Howard isomorphism
Proof theory
Logic, Symbolic and mathematical
Functional programming (Computer science
Lambda calculus
Abstract data types (Computer science
E-BOOK
Poernomo, Iman Hafiz,1976-
Crossley, John N
Wirsing, M.(Martin)
ایران
9780387237596.pdf
عادی
عادی
9780387237596.pdf
متن
old catalog
e
BL
1
a
Y
