Language:
English
繁體中文
Help
回圖書館
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Adapting Proofs-as-Programs = The Cu...
~
Crossley, John Newsome.
Adapting Proofs-as-Programs = The Curry-Howard Protocol /
Record Type:
Electronic resources : Monographic component part
Title/Author:
Adapting Proofs-as-Programs/ by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley.
Reminder of title:
The Curry-Howard Protocol /
Author:
Poernomo, Iman Hafiz.
other author:
Wirsing, Martin.
Published:
New York, NY :Springer Science+Business Media Inc., : 2005.,
Description:
xi, 420 p. :ill., digital ; : 24 cm.;
Series:
Monographs in Computer Science,
Contained By:
Springer e-books
Subject:
Curry-Howard isomorphism. -
Online resource:
http://dx.doi.org/10.1007/0-387-28183-5
ISBN:
9780387281834 (electronic bk.)
Adapting Proofs-as-Programs = The Curry-Howard Protocol /
Poernomo, Iman Hafiz.
Adapting Proofs-as-Programs
The Curry-Howard Protocol /[electronic resource] :by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. - New York, NY :Springer Science+Business Media Inc.,2005. - xi, 420 p. :ill., digital ;24 cm. - Monographs in Computer Science,0172-603X.
ISBN: 9780387281834 (electronic bk.)Subjects--Topical Terms:
125949
Curry-Howard isomorphism.
LC Class. No.: QA9.54 / .P64 2005
Dewey Class. No.: 511.36
Adapting Proofs-as-Programs = The Curry-Howard Protocol /
LDR
:00865nma a22002415a 4500
001
78634
003
Springer
005
20080605185748.0
006
m d
007
cr nn 008maaau
008
100528s2005 nju j eng d
020
$a
9780387281834 (electronic bk.)
020
$a
9780387237596 (paper)
035
$a
978-0-387-23759-6
050
0 0
$a
QA9.54
$b
.P64 2005
082
0 0
$a
511.36
$2
22
090
$a
QA9.54
$b
.P745 2005
100
1
$a
Poernomo, Iman Hafiz.
$3
125948
245
1 0
$a
Adapting Proofs-as-Programs
$h
[electronic resource] :
$b
The Curry-Howard Protocol /
$c
by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley.
260
$a
New York, NY :
$c
2005.
$b
Springer Science+Business Media Inc.,
300
$a
xi, 420 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Monographs in Computer Science,
$x
0172-603X
650
0
$a
Curry-Howard isomorphism.
$3
125949
650
0
$a
Proof theory.
$3
125950
650
0
$a
Logic, Symbolic and mathematical.
$3
93197
650
0
$a
Functional programming (Computer science)
$3
125951
650
0
$a
Lambda calculus.
$3
125952
650
0
$a
Abstract data types (Computer science)
$3
125953
650
1 4
$a
Computer Science.
$3
120417
650
2 4
$a
Logics and Meanings of Programs.
$3
122248
650
2 4
$a
Mathematical Logic and Foundations.
$3
120927
650
2 4
$a
Logic Design.
$3
123154
650
2 4
$a
Programming Techniques.
$3
120880
650
2 4
$a
Software Engineering/Programming and Operating Systems.
$3
120941
650
2 4
$a
Models and Principles.
$3
122297
700
1
$a
Wirsing, Martin.
$3
125946
700
1
$a
Crossley, John Newsome.
$3
125947
710
2
$a
SpringerLink (Online service)
$3
120363
773
0
$t
Springer e-books
856
4 0
$u
http://dx.doi.org/10.1007/0-387-28183-5
950
$a
Computer Science (Springer-11645; ZDB-2-SCS)
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login