Entry DiCosmo:1996:CAR from tcs1995.bib
Last update: Sun Oct 15 02:56:11 MDT 2017
Top |
Symbols |
Numbers |
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{DiCosmo:1996:CAR,
author = "Roberto {Di Cosmo} and Delia Kesner",
title = "Combining algebraic rewriting, extensional lambda
calculi, and fixpoints",
journal = j-THEOR-COMP-SCI,
volume = "169",
number = "2",
pages = "201--220",
day = "05",
month = dec,
year = "1996",
CODEN = "TCSCDI",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Mon Jul 19 22:20:29 MDT 1999",
bibsource = "http://www.elsevier.com/cgi-bin/cas/tree/store/tcs/cas_free/browse/browse.cgi?year=1996&volume=169&issue=2;
http://www.math.utah.edu/pub/tex/bib/tcs1995.bib",
URL = "http://www.elsevier.com/cgi-bin/cas/tree/store/tcs/cas_sub/browse/browse.cgi?year=1996&volume=169&issue=2&aid=2324",
acknowledgement = ack-nhfb,
classification = "C4210L (Formal languages and computational
linguistics)",
conflocation = "Jerusalem, Israel; 11-14 July 1994",
conftitle = "21st International Colloquium on Automata, Languages,
and Programming",
corpsource = "DMI-LIENS, Ecole Normale Superieure, Paris, France",
fjournal = "Theoretical Computer Science",
journal-URL = "http://www.sciencedirect.com/science/journal/03043975/",
keywords = "algebraic rewriting; bounded recursion; confluence;
contraction rule; extensional lambda calculi;
fixpoints; lambda calculus; modular properties;
recursion; rewriting systems; strong normalization;
surjective pairing; translation technique; typed lambda
calculus",
pubcountry = "Netherlands",
sponsororg = "Eur. Assoc. Theor. Comput. Sci",
treatment = "P Practical; T Theoretical or Mathematical",
}
Related entries
- bounded,
137(1)3,
139(1)131,
148(1)93,
151(1)163,
163(1)177,
164(1)59,
164(1)287,
166(1)203,
168(1)3,
168(1)21,
172(1)135,
172(1)195,
173(1)183,
175(2)309,
176(1)89,
176(1)283,
178(1)103,
181(1)141,
181(2)267,
182(1)145,
191(1)61,
193(1)53,
193(1)75,
193(1)113,
194(1)137,
194(1)247-1,
196(1)395,
204(1)11,
209(1)1
- calculi,
141(1)195,
155(1)39,
159(2)343,
167(1)235,
169(1)67,
169(1)81,
170(1)83,
170(1)173,
178(1)237,
183(2)215,
194(1)246,
195(2)205,
197(1)244-2,
197(1)246,
197(1)248,
198(1)201,
212(1)141,
212(1)247,
212(1)261,
228(1)77,
266(1)997
- Combining,
171(1)61
- confluence,
142(2)299,
151(2)353,
151(2)487,
152(2)269,
154(2)329,
165(1)97,
170(1)47,
170(1)407,
173(1)209,
175(1)159,
183(2)281,
192(1)3,
192(1)55,
195(2)259,
200(1)205,
206(1)127
- contraction,
146(1)199,
151(1)3,
203(1)3
- extensional,
151(1)195,
152(1)91,
155(1)267,
176(1)329,
183(2)157
- fixpoint,
138(1)141,
149(1)67,
160(1)283,
176(1)205,
176(1)283,
177(1)27,
178(1)237,
190(2)317,
194(1)241,
195(2)133,
198(1)131
- lambda,
137(1)3,
139(1)131,
140(1)5,
142(2)277,
142(2)299,
146(1)5,
146(1)69,
151(2)297,
151(2)353,
151(2)385,
155(1)85,
155(1)221,
155(1)265,
155(1)267,
159(2)191,
160(1)145,
160(1)185,
165(1)201,
166(1)83,
169(1)3,
169(1)81,
170(1)83,
170(1)173,
170(1)407,
173(2)349,
175(1)3,
175(1)75,
175(1)93,
175(1)159,
175(1)z,
176(1)235,
176(1)337,
179(1)137,
180(1)371,
189(1)221,
192(1)3,
192(2)201,
193(1)75,
193(1)181,
194(1)244-3,
194(1)245-2,
197(1)242,
197(1)242-2,
198(1)49,
198(1)177,
198(1)239,
212(1)101,
212(1)261,
228(1)175,
266(1)997
- modular,
140(1)139,
143(2)319,
149(1)151,
149(2)361,
151(2)487,
160(1)87,
173(2)445,
179(1)273,
183(2)253,
185(1)191,
187(1)105,
194(1)243,
204(1)233,
206(1)51,
208(1)59,
208(1)59
- normalization,
135(1)67,
142(2)299,
151(2)487,
165(1)75,
170(1)173,
185(2)217,
197(1)246-2,
206(1)353,
211(1)375,
222(1)187,
227(1)333
- recursion,
138(2)391,
146(1)269,
149(1)3,
151(1)207,
151(1)z,
152(2)251,
160(1)1,
162(1)23,
163(1)245,
163(1)269,
169(1)113,
170(1)145,
176(1)111,
176(1)205,
177(1)3,
177(2)329,
177(2)351,
187(1)203,
193(1)129,
198(1)131,
210(1)121,
212(1)157
- rule,
135(1)67,
138(1)113,
138(1)169,
142(1)3,
142(2)257,
144(1)221,
146(1)25,
146(1)69,
146(1)199,
150(1)161,
152(2)219,
152(2)285,
154(2)329,
155(2)425,
159(2)143,
160(1)283,
162(2)297,
163(1)99,
164(1)185,
165(2)463,
167(1)95,
170(1)129,
170(1)209,
171(1)111,
173(1)209,
173(2)349,
175(1)75,
175(1)159,
175(2)293,
176(1)67,
176(1)235,
178(1)77,
183(2)229,
183(2)253,
190(2)241,
192(1)77,
192(2)287,
194(1)240,
194(1)240-2,
194(1)242-1,
197(1)243,
198(1)49,
201(1)171
- strong,
139(1)69,
142(2)299,
148(2)227,
151(2)487,
153(1)65,
155(1)179,
155(2)365,
156(1)203,
163(1)259,
165(2)483,
167(1)95,
168(2)267,
170(1)173,
170(1)407,
175(1)29,
177(1)139,
183(2)215,
185(2)217,
192(2)167,
195(2)227,
208(1)87,
211(1)375
- translation,
140(1)53,
145(1)147,
148(2)303,
150(1)161,
152(1)67,
159(1)103,
160(1)271,
169(1)3,
193(1)197,
199(1)25,
220(2)409
- typed,
137(1)3,
139(1)131,
142(2)299,
146(1)5,
151(2)297,
155(1)111,
160(1)217,
166(1)83,
170(1)407,
179(1)273,
194(1)241-3,
194(1)244-3,
197(1)242