عنوان
پدید آورنده
موضوع
رده
QA,9.54,.P64,2005
QA
,
9
.
54
,.
P64
,
2005
کتابخانه
محل استقرار
acid-free paper)
0387237593 (hardback
IR
ebook33940
انگلیسی
IR
Adapting proofs-as-programs
[Electronic Resource]
:the Curry-Howard protocol
/ Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
New York
: Springer Science+Business Media,
, c2005.
xi, 420 p.
: ill. ; 25 cm.
(Monographs in computer science)
e
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)
511
.
3
,
6
QA
,
9
.
54
,.
P64
,
2005
Poernomo, Iman Hafiz, 1976
Crossley, John N
Wirsing, M
ایران
511.3,6
9780387237596.pdf
0
old catalog
e
BL
1
a
Y
