Last update: Sat Oct 21 02:07:46 MDT 2023
Return to index directory
N
-
Nakahara, Koichi, 7(2)129--161
-
Nakahara, Koichi, see Ida, Tetsuo
-
Nakano, Keisuke, 23(2)161--173
-
Nakano:2013:MJ, 23(2)161--173
-
Nakata, Keiko, 19(6)699--722
-
Nakata:2009:SSB, 19(6)699--722
-
Naletto, Andrea, 6(6)763--810
-
Naletto, Andrea, see Asperti, Andrea
-
name, Call-by-, 27(z)z
-
namely, 0(0)xi--277
-
names, 4(1)117--123, 15(6)893--939, 21(3)235--286
-
Nanevski, Aleksandar, 15(6)893--939, 18(5)865--911, 23(4)357--401,
25(z)z
-
Nanevski, Aleksandar, see Gonthier, Georges,
see Ziliani, Beta
-
Nanevski:2005:SCN, 15(6)893--939
-
Nanevski:2008:HTT, 18(5)865--911
-
Nanopass, 15(5)653--667
-
Narbel, Philippe, 17(2)207--214
-
Narbel:2007:TSC, 17(2)207--214
-
Nardelli, Francesco Zappa, 17(4)547--612, 20(1)71--122
-
Nardelli, Francesco Zappa, see Sewell, Peter
-
narrowing, 7(2)129--161, 9(1)33--75
-
NAS, 7(1)103--123
-
Nassuphis, Nick, 19(1)27--45
-
Nassuphis, Nick, see Frankau, Simon
-
National, 21(6)573--583
-
natural, 3(2)123--152, 7(2)163--182, 10(1)121--134, 19(1)47--94, 28(z)z
-
naturals, Super-, 32(z)z
-
natures, 0(0)xvii--485
-
Naumann, David A., 15(2)131--177
-
Naumann, David A., see Banerjee, Anindya
-
Naylor, Matthew, 22(4)574--613
-
Naylor:2012:RRR, 22(4)574--613
-
necessity, 15(6)893--939
-
Nederhof, Mark-Jan, 1(2)155--189
-
Nederhof, Mark-Jan, see Geuvers, Herman
-
Nederpelt, Rob, 5(4)637--651, 6(2)245--267
-
Nederpelt, Rob, see Kamareddine, Fairouz
-
need, 0(0)xvi--133, 0(0)xvii--485, 0(0)xviii--471, 6(2)355--364,
10(4)409--415
-
need, call-by-, 7(3)265--301, 8(3)275--317, 19(6)699--722
-
needed, 0(0)xvi--133, 27(z)z
-
Neergaard, Peter M{\o}ller, 15(5)669--677
-
Neergaard:2005:TPB, 15(5)669--677
-
Neil, 9(4)479--482
-
Neis, Georg, 21(4)497--562, 22(4)477--528
-
Neis, Georg, see Dreyer, Derek
-
Neis:2011:NPP, 21(4)497--562
-
nested, 9(1)77--91, 9(3)279--310, 19(3)439--468
-
network, 0(0)xii--492, 14(1)21--68, 21(1)59--114, 28(z)z
-
Neuhaus, Ute, 7(2)163--182
-
Neuhaus, Ute, see Hutchison, Nigel W. O.
-
never, 23(1)1--37
-
new, 0(0)xi--277, 0(0)xvii--485, 0(0)xxiii--657, 1(1)91--120,
6(1)189--193, 6(4)587--620, 7(5)487--513, 24(2)421--422,
24(4)523--523, 27(z)z
-
New, Max S., 27(z)z, 29(z)z, 31(z)z
-
New, Max S., see Greenman, Ben
-
New:2017:FEC, 27(z)z
-
New:2021:GTT, 31(z)z
-
Newton, Ryan R., 26(z)z, 28(z)z
-
Newton, Ryan R., see Svensson, Bo Joel,
see Zakian, Timothy A. K.
-
next, 0(0)xvi--133
-
Nguyên, Phúc C., 27(z)z
-
Nguyen:2017:HOS, 27(z)z
-
Nicole, 24(2)419--421
-
Niehren, Joachim, 10(5)453--499
-
Niehren:2000:UCC, 10(5)453--499
-
Nielsen, Jakob Botsch, 32(z)z
-
Nielsen, Jakob Botsch, see Annenkov, Danil
-
Nielsen, Lasse R., 17(6)793--812
-
Nielsen, Lasse R., see Danvy, Olivier
-
Nielson, 8(5)537--542
-
Nielson, Flemming, 1(4)459--494, 7(3)321--347
-
Nielson, Flemming, see Amtoft, Torben,
see Nielson, Hanne Riis
-
Nielson, Hanne Riis, 1(4)459--494, 7(3)321--347
-
Nielson, Hanne Riis, see Amtoft, Torben
-
Nielson:1991:UTI, 1(4)459--494
-
Nikhil, 13(4)824--826
-
Nilsson, Henrik, 4(3)337--369, 11(6)629--671, 20(5)415--416, 30(z)z
-
Nilsson, Henrik, see Perez, Ivan,
see Thiemann, Peter
-
Nilsson:1994:ADL, 4(3)337--369
-
Nilsson:2001:HLB, 11(6)629--671
-
Nipkow, 11(2)253--262
-
Nipkow, Tobias, 0(0)xii--301, 5(2)201--224, 9(2)191--223, 22(1)9--30,
25(z)z
-
Nipkow, Tobias, see Aehlig, Klaus,
see Baader, Franz, \see{M{\"u}ller, Olaf,
see Traytel, Dmitriy
-
Nipkow:1995:TRT, 5(2)201--224
-
Nishimura, Susumu, 9(4)427--462, 18(5)781--819
-
Nishimura, Susumu, see Katsumata, Shin-Ya
-
Nishimura:1999:PFP, 9(4)427--462
-
NixOS, 20(5)577--615
-
Noble, James, 16(6)793--811
-
Noble, James, see Potanin, Alex
-
Nöcker, 18(4)503--551
-
Nöcker, Eric, 3(2)191--215
-
Nocker:1993:PSN, 3(2)191--215
-
node, 0(0)xviii--471
-
Nogueira, Pablo, 29(z)z
-
Nogueira, Pablo, see Garc{\'i}a-P{\'e}rez, {\'A}lvaro
-
noise-free, 0(0)xxiii--402
-
non-determinacy, 1(1)3--20
-
Non-determinism, 15(1)67--100
-
non-deterministic, 11(2)207--251
-
non-functional, 13(4)709--745
-
non-normalizing, 16(2)137--155
-
Non-parametric, 21(4)497--562
-
non-recursive, 3(2)191--215
-
non-stop, 0(0)xvi--133
-
non-strict, 8(2)97--129
-
nondeterminism, 31(z)z
-
nondeterministic, 0(0)xxiii--657, 21(4)413--465
-
noninterference, 15(2)293--349, 26(z)z
-
Noort, Thomas, Van, 20(3)375--413, 23(3)229--248
-
Nordin, Thomas, 11(5)557--587
-
Nordin:2001:MLS, 11(5)557--587
-
normal-order, 27(z)z, 29(z)z
-
normalisation, 5(1)65--80, 6(5)699--722, 7(4)395--420, 10(4)321--325,
19(3)311--333, 22(1)9--30
-
normalising, 8(1)89--96
-
normalization, 1(2)155--189, 7(6)613--660, 11(6)673--680, 15(5)669--677
-
normalizer, 19(3)287--310
-
normalizing, non-, 16(2)137--155
-
N{\o}rmark, Kurt, 15(1)53--65
-
Normark:2005:WPS, 15(1)53--65
-
Norrish, Michael, 29(z)z
-
Norrish, Michael, see Tan, Yong Kiam
-
not, 0(0)xviii--471, 10(4)321--325, 22(6)747--756, 31(z)z
-
notation, 6(3)465--484, 9(1)77--91
-
note, 2(2)227--231, 6(1)171--180, 9(1)105--111, 19(1)95--106,
21(2)209--213, 21(6)563--572
-
notions, 19(3)335--376, 27(z)z
-
novel, 0(0)xi--277, 30(z)z
-
novices, 0(0)xv--240
-
Nowak, David, 31(z)z
-
Nowak, David, see Affeldt, Reynald
-
nucleic, 5(3)443--460
-
number, 0(0)xi--277, 0(0)xxiii--402, 0(0)xxvi--586, 2(2)203--212,
8(1)83--88, 13(1)149--152, 13(1)153--156, 13(1)235--240, 29(z)z
-
number, random-, 2(2)203--212
-
numeral, 1(3)367--372, 10(6)607--623, 15(1)1--13, 26(z)z
-
Numeric, 13(1)157--168
-
numerical, 0(0)xxiii--657
-
numerous, 0(0)xv--240, 0(0)xxvi--586
-
Nuprl, 11(1)3--31, 14(1)21--68
-
Nussbaum, 24(2)419--421
-
NY, 24(2)421--422
-
Nykänen, Matti, 21(6)563--572
-
Nykanen:2011:NGS, 19(1)95--106, 21(6)563--572