Entry Poernomo:2005:APP from compj2000.bib
Last update: Sun Mar 31 02:13:37 MDT 2019
Top |
Symbols |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Book{Poernomo:2005:APP,
author = "Iman Hafiz Poernomo and John N. Crossley and M.
(Martin) Wirsing",
title = "Adapting proofs-as-programs: the {Curry--Howard}
protocol",
publisher = pub-SV,
address = pub-SV:adr,
pages = "xi + 420",
year = "2005",
ISBN = "0-387-23759-3 (hardback)",
ISBN-13 = "978-0-387-23759-6 (hardback)",
LCCN = "QA9.54 .P64 2005",
bibdate = "Mon Feb 27 15:53:59 MST 2006",
bibsource = "http://www.math.utah.edu/pub/tex/bib/compj2000.bib;
z3950.loc.gov:7090/Voyager",
series = "Monographs in computer science",
acknowledgement = ack-nhfb,
subject = "Curry--Howard isomorphism; Proof theory; Logic,
Symbolic and mathematical; Functional programming
(Computer science); Lambda calculus; Abstract data
types (Computer science)",
}
Related entries
- 0-387-23759-3,
49(2)251
- Abstract,
0(0)x--438,
47(1)25,
47(2)270,
49(4)454
- Adapting,
49(2)251
- calculus,
0(0)xii--580,
0(0)xxv--469,
47(1)10,
49(1)130
- computer,
0(0)viii--378,
0(0)xi--170,
0(0)xii--574,
0(0)xiii--483,
0(0)xiii--574,
0(0)xv--387,
0(0)xvi--848,
0(0)xvii--325,
0(0)xviii--240,
0(0)xxi--418,
0(0)xxiii--703,
0(0)xxv--469,
0(0)xxv--672,
0(0)xxvi--590,
0(0)xxx--593,
0(0)xxxii--648,
0(0)xxxvi--412,
0(0)0,
0(0)x--295,
0(0)x--438,
7(0)x--153,
35(0)335,
41(7)445,
43(4)274,
44(4)321,
44(4)324,
44(4)326,
46(1)3,
46(5)487,
47(4)399,
47(6)627,
48(6)650,
48(6)662,
49(1)129,
49(1)130,
49(2)136,
49(2)249,
49(3)376,
49(3)378,
49(4)390,
49(4)501,
49(6)762,
50(1)4,
50(2)151,
50(3)254,
50(4)375,
51(1)1,
51(6)688,
51(6)731,
51(6)735,
51(6)741,
51(6)743,
58(0)xvi--358,
z(0)xiv--320,
z(0)xxvi--442
- Curry--Howard,
49(2)251
- data,
0(0)xi--170,
0(0)xiii--483,
0(0)xvi--848,
0(0)xxiii--703,
0(0)xxv--672,
0(0)xxxi--332,
43(2)138,
43(5)364,
45(2)243,
45(5)481,
46(3)229,
46(5)487,
46(6)664,
47(3)309,
47(4)448,
47(4)506,
47(4)507,
48(3)315,
49(1)62,
49(3)258,
49(5)609,
49(6)657,
50(2)249,
50(2)249,
50(6)660,
51(1)26,
51(2)181,
51(2)227,
51(5)561,
52(5)571,
52(6)725
- functional,
0(0)xiii--483,
43(2)152,
47(4)506,
48(1)30
- hardback,
0(0)xii--574,
6(0)xiii--198
- Howard, Curry-,
49(2)251
- logic,
0(0)xv--368,
43(1)1,
43(4)274,
44(1)54,
44(2)137,
44(5)410,
45(1)55,
45(4)453,
47(1)71,
47(4)399,
47(4)505,
50(4)403
- mathematical,
0(0)xi--170,
0(0)xxiii--499,
0(0)x--295,
47(2)270,
49(4)480,
58(0)xvi--358
- Poernomo, Iman Hafiz,
49(1)130
- programming,
0(0)xiii--483,
0(0)xiii--574,
0(0)xv--368,
0(0)xv--387,
0(0)xvii--325,
0(0)xxiii--499,
0(0)xxv--469,
0(0)xxxii--648,
7(0)x--153,
35(0)335,
43(4)252,
43(6)491,
43(6)512,
46(5)527,
46(5)529,
47(1)134,
48(2)130,
48(5)602,
49(1)127,
49(1)129,
49(1)130,
49(6)665,
50(2)134,
52(6)724,
z(0)xiv--320,
z(0)xxvi--442
- proof,
47(1)58,
49(1)82,
50(5)591
- protocol,
0(0)xvi--848,
0(0)xxxii--648,
43(1)24,
43(1)65,
44(1)21,
44(3)201,
44(5)448,
44(5)463,
45(1)46,
45(1)101,
45(2)162,
46(2)146,
46(2)193,
46(2)z,
46(4)421,
47(4)507,
48(1)27,
48(3)333,
48(4)480,
49(1)82,
49(2)190,
49(2)251,
49(5)541,
49(6)710,
50(1)41,
50(2)204,
50(5)589,
50(5)591,
50(5)602,
52(2)186,
52(4)461,
52(4)483
- science,
0(0)viii--378,
0(0)xii--574,
0(0)xiii--483,
0(0)xvii--325,
0(0)xxiii--703,
0(0)xxxii--648,
0(0)0,
7(0)x--153,
35(0)335,
47(4)399,
48(1)49,
48(4)460,
49(1)128,
49(1)130,
49(2)249,
49(3)376,
49(4)501,
49(6)762,
z(0)xiv--320,
z(0)xxvi--442
- symbolic,
45(1)55,
48(6)646
- theory,
0(0)xi--170,
0(0)xii--580,
0(0)xv--356,
0(0)xxi--418,
47(1)10,
47(3)395,
47(3)396,
47(6)662,
47(6)728,
49(1)127,
49(4)501,
49(6)762,
50(5)522,
51(1)137,
51(3)292,
z(0)xiv--320,
z(0)xxvi--442
- type,
0(0)xiii--574,
43(2)95,
45(2)187,
45(4)436,
47(5)591,
49(1)130