Entry Casteran:2006:BRI 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
@Article{Casteran:2006:BRI,
author = "Pierre Cast{\'e}ran",
title = "Book Review: {Iman Hafiz Poernomo, John Newsome
Crossley and Martin Wirsing, \booktitle{Adapting
Proofs-as-Programs --- The Curry--Howard Protocol}.
Springer (2005). ISBN 0-387-23759-3. \$79.95/\pounds
50.00/ 64.95. 420 pp. Hardbound}",
journal = j-COMP-J,
volume = "49",
number = "2",
pages = "251--252",
month = mar,
year = "2006",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/bxh156",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Mon Feb 27 15:50:47 MST 2006",
bibsource = "http://comjnl.oxfordjournals.org/content/vol49/issue2/index.dtl;
http://www.math.utah.edu/pub/tex/bib/compj2000.bib",
URL = "http://comjnl.oxfordjournals.org/cgi/content/full/49/2/251;
http://comjnl.oxfordjournals.org/cgi/reprint/49/2/251",
acknowledgement = ack-nhfb,
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
}
Related entries
- 0-387-23759-3,
0(0)xi--420
- Adapting,
0(0)xi--420
- Curry--Howard,
0(0)xi--420
- Hardbound,
49(1)127,
49(1)130,
49(2)249,
49(2)252,
49(3)375,
49(3)376,
49(4)501,
49(5)629,
49(5)629,
49(6)762,
49(6)762,
50(3)369,
52(6)724
- Howard, Curry-,
0(0)xi--420
- ISBN,
49(1)127,
49(1)127,
49(1)128,
49(1)129,
49(1)130,
49(2)249,
49(2)250,
49(2)252,
49(3)375,
49(3)376,
49(3)376,
49(4)500,
49(4)500,
49(4)501,
49(4)501,
49(5)629,
49(5)629,
49(6)762,
49(6)762,
49(6)764,
50(1)129,
50(3)369,
52(6)725
- John,
49(2)250,
49(5)629,
49(6)764,
52(4)510
- pp,
46(5)487,
49(1)127,
49(1)127,
49(1)128,
49(1)129,
49(1)130,
49(2)249,
49(2)250,
49(2)252,
49(3)375,
49(3)376,
49(3)376,
49(4)500,
49(4)500,
49(4)501,
49(4)501,
49(5)629,
49(5)629,
49(6)762,
49(6)762,
49(6)764,
50(1)129,
50(3)369,
52(4)510,
52(4)510,
52(6)724,
52(6)725,
52(6)725
- protocol,
0(0)xi--420,
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(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
- Springer,
49(1)127,
49(2)249,
49(2)250,
50(3)369,
52(6)724