Last update: Wed Feb 5 04:57:35 MST 2014
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{Xi:1997:SEE,
author = "H. Xi",
title = "Simulating eta-expansions with $ \beta $-reductions in
the Second-Order Polymorphic lambda-calculus",
journal = j-LECT-NOTES-COMP-SCI,
volume = "1234",
pages = "399--409",
year = "1997",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Tue Dec 03 16:54:16 2002",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lncs1997a.bib",
acknowledgement = ack-nhfb,
}
Related entries
- $ \beta $,
1240(0)146
- calculus, lambda-,
1249(0)291
- eta-expansions,
1210(0)164
- Order, Second-,
1217(0)183
- Polymorphic,
1192(0)172,
1214(0)453,
1281(0)47
- reduction,
1207(0)187,
1210(0)214,
1217(0)19,
1226(0)241,
1232(0)299,
1239(0)594,
1254(0)340,
1256(0)649,
1256(0)782,
1258(0)34,
1258(0)76,
1294(0)112,
1296(0)1,
1298(0)129
- Second-Order,
1217(0)183
- Simulating,
1205(0)369,
1257(0)275,
1277(0)424
- Xi, H.,
1210(0)390,
1289(0)335,
1292(0)259