Entry Santo:2011:NPS from tcs2010.bib
Last update: Sun Mar 31 03:12:29 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{Santo:2011:NPS,
author = "Jos{\'e} Esp{\'\i}rito Santo",
title = "A note on preservation of strong normalisation in the
$\lambda$-calculus",
journal = j-THEOR-COMP-SCI,
volume = "412",
number = "11",
pages = "1027--1032",
day = "11",
month = mar,
year = "2011",
CODEN = "TCSCDI",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Wed Aug 31 10:15:33 MDT 2011",
bibsource = "http://www.math.utah.edu/pub/tex/bib/tcs2010.bib",
acknowledgement = ack-nhfb,
fjournal = "Theoretical Computer Science",
journal-URL = "http://www.sciencedirect.com/science/journal/03043975/",
}
Related entries
- $\lambda$,
411(51)4358,
412(37)4905,
448(1)66
- calculus,
411(7)1182,
411(19)1928,
411(19)1949,
411(50)4273,
411(51)4358,
412(28)3122,
412(28)3129,
412(43)5976,
412(47)6585,
417(1)74,
431(1)75,
431(1)117,
431(1)165,
435(1)106,
446(1)1,
458(1)76,
464(1)48,
464(1)113,
474(z)98,
546(z)188,
560(z)292
- note,
410(8)812,
411(40)3731,
412(8)796,
412(16)1508,
412(29)3451,
412(29)3788,
412(35)4729,
412(41)5649,
412(45)6451,
412(46)6531,
423(1)11,
428(1)91,
429(1)265,
448(1)94,
453(1)2,
499(z)113,
525(z)55,
526(z)97,
528(z)101,
552(z)109
- strong,
411(2)410,
411(40)3787,
412(20)1903,
412(45)6409,
417(1)74,
428(1)47,
447(1)74,
459(1)55,
491(z)71,
520(z)97,
546(z)63