Last update: Wed Mar 19 02:04:38 MDT 2025
Return to index directory
C
-
C, 6(1)189--193, 7(4)447--449, 7(6)667--668, 10(5)501--508, 13(6)1005--1059,
13(6)1087--1088, 14(2)129--135, 14(2)247--249, 14(2)249--251,
14(5)588--589, 14(5)597--598, 14(5)598--600, 17(3)423--424,
19(1)47--94, 24(5)608--609, 29(z)z
-
C++, 20(3)271--302
-
C\#, 0(0)xxiii--402
-
C-Rules, 20(2)123--136
-
CA, 24(2)419--421
-
CÄ, 0(0)xvi--133
-
Cabal, 0(0)xxiii--402
-
caching, 11(4)359--393
-
CakeML, 29(z)z
-
Calcagno, C., 13(3)545--571
-
Calcagno, Cristiano, 15(4)543--572
-
Calcagno:2003:CTS, 13(3)545--571
-
Calcagno:2005:DVS, 15(4)543--572
-
calculated, 0(0)xi--277
-
Calculating, 14(5)598--600, 14(6)759--763, 16(1)75--81, 25(z)z, 30(z)z
-
calculation, 0(0)xi--277, 33(z)z--99999999
-
calculi, 4(4)435--477, 7(2)129--161, 15(1)101--127, 15(5)771--796,
29(z)z, 31(z)z
-
Calculi, Lambda-, 11(5)589--589
-
calculus, 1(2)155--189, 1(2)229--233, 1(3)367--372, 2(3)345--364,
2(3)367--374, 4(3)371--394, 5(1)65--80, 5(4)637--651, 6(2)299--327,
6(3)519--526, 6(5)699--722, 6(5)723--756, 7(3)265--301,
7(3)303--319, 7(4)395--420, 7(6)557--591, 8(2)131--176,
8(3)275--317, 9(3)247--277, 9(6)625--647, 10(1)121--134,
10(4)321--325, 10(6)607--623, 11(4)433--436, 12(2)91--132,
12(3)183--227, 12(3)229--292, 12(6)549--566, 13(2)339--414,
13(2)415--451, 14(6)623--633, 15(1)33--52, 17(3)287--352,
17(3)353--386, 19(5)581--631, 20(1)51--69, 20(5)463--535,
21(1)21--58, 25(z)z, 27(z)z, 28(z)z, 29(z)z, 31(z)z,
33(z)z--99999999
-
Calculus, Lambda-, 21(1)115--117
-
calculus, lambda-, 1(1)21--69, 14(5)519--546
-
Caldwell, Sam, 30(z)z
-
Caldwell:2020:TDA, 30(z)z
-
call, 7(1)125--126, 7(3)355--356, 11(4)437--437, 16(4)547--582
-
Call-by-name, 27(z)z
-
call-by-need, 7(3)265--301, 8(3)275--317, 19(6)699--722
-
call-time, 22(3)275--299
-
called, 0(0)xviii--471
-
CAM, 15(1)101--127
-
Cambridge, 2(2)227--231, 2(3)365--365, 4(4)557--559, 6(1)189--193,
7(4)447--449, 8(6)633--637, 9(1)105--111, 9(4)479--482,
9(5)577--578, 10(5)501--508, 11(2)253--262, 11(4)433--436,
13(6)1087--1088, 14(5)588--589, 15(4)651--651, 16(2)250--251,
17(3)426--428, 19(2)256--259, 21(6)663--664, 21(6)664--666,
22(2)217--219, 22(6)854--855, 23(2)226--227, 24(1)128--130,
24(4)523--523, 25(z)z, 30(z)z
-
Cameron, Robert D., 3(2)171--190
-
Cameron, Robert D., see Burton, F. Warren
-
CAML, 0(0)ix--194, 14(5)592--594
-
Caml, 0(0)ix--194, 18(4)553--564
-
Canonical, 6(2)245--267
-
capability, 31(z)z
-
capability, type-and-, 23(1)38--144
-
Capability-based, 27(z)z
-
Capability-passing, 30(z)z
-
Caporaso, Salvatore, 11(1)95--116
-
Caporaso:2001:PAC, 11(1)95--116
-
Capretta, Venanzio, 13(2)261--293
-
Capretta, Venanzio, see Barthe, Gilles
-
capturing, 0(0)xi--277
-
Cardelli, L., 1(4)375--416, 5(1)111--130
-
Cardelli, L., see Abadi, M.
-
Cardelli, Luca, 1(4)417--458, 15(4)543--572
-
Cardelli, Luca, see Calcagno, Cristiano
-
Cardelli:1991:SBQ, 1(4)417--458
-
cardinality, 18(5)821--864, 27(z)z
-
Carette, Jacques, 19(5)509--543, 21(6)663--664
-
Carette:2009:FTP, 19(5)509--543
-
Carette:2011:BRH, 21(6)663--664
-
Carl, 30(z)z
-
Carlo, 5(3)283--316
-
Carpenter, D. B., 6(3)419--444
-
Carpenter:1996:SLB, 6(3)419--444
-
carry, 14(6)697--713
-
carte, 18(4)423--436, 30(z)z
-
case, 4(1)65--75, 15(5)679--702
-
cast, 14(6)681--695, 31(z)z
-
Castro, Laura, 23(2)225--226
-
Castro:2013:BRB, 23(2)225--226
-
catchash, 9(6)625--647
-
categorical, 2(1)23--59, 19(3)403--438
-
categorically, 10(2)191--225
-
Causal, 21(4)467--496
-
Cebrián, Toni, 21(6)664--666, 22(6)854--855
-
Cebrian:2011:BRH, 21(6)664--666
-
Cebrian:2012:BRS, 22(6)854--855
-
Cedergren, Robert, 1(2)213--227
-
Cedergren, Robert, see Major, François
-
celebrities, 16(1)13--20
-
central, 0(0)xxiii--657
-
centric, vertex-, 32(z)z
-
certified, 18(5)599--647, 33(z)z--99999999
-
certifying, 31(z)z
-
CGI, 0(0)xii--492
-
Chailloux, 14(5)592--594
-
Chailloux, Emmanuel, 6(4)621--655
-
Chailloux, Emmanuel, see Hartel, Pieter H.
-
Chakravarty, 14(2)247--249
-
Chakravarty, Manuel M. T., 0(0)viii--145, 14(1)113--123
-
Chakravarty:2002:ICH, 0(0)viii--145
-
Chakravarty:2004:RBT, 14(1)113--123
-
challenges, 0(0)xvii--485
-
Chan, Jonathan, 33(z)z--z
-
Chan:2023:STC, 33(z)z--z
-
Chang, Byeong-Mo, 29(z)z
-
Chang, Byeong-Mo, see Choi, Kwanghoon
-
changers, 6(1)181--188
-
changes, 0(0)xxiii--657
-
channel, 19(1)107--142
-
Chapman, 24(5)608--609
-
Chapman, James, 19(3)311--333, 31(z)z
-
Chapman, James, see Allais, Guillaume,
see Altenkirch, Thorsten
-
chapter, 0(0)xi--277, 0(0)xviii--471
-
character, 0(0)xviii--471, 13(1)193--198
-
characterization, 11(1)117--153, 26(z)z
-
Charguéraud, Arthur, 26(z)z, see Acar, Umut A.
-
chart, 14(6)669--680
-
checking, 10(1)57--75, 10(2)137--166
-
checking, Type-, 9(6)675--698, 12(2)133--158
-
checkpointing, 20(2)137--173
-
Chen, Chiyan, 15(6)797--835
-
Chen, Juan, 23(4)402--451
-
Chen, Juan, see Swamy, Nikhil
-
Chen, Lin, 34(z)z--99999999
-
Chen, Lin, see Su, Chenghao
-
Chen, Sheng, 28(z)z, 32(z)z
-
Chen, Sheng, see Iii, John Peter Campora
-
Chen, Tianyu, 31(z)z
-
Chen, Tianyu, see Siek, Jeremy G.
-
Chen, Yan, 24(1)56--112
-
Chen, Zilin, 31(z)z
-
Chen, Zilin, see O'Connor, Liam
-
Chen:2005:MPT, 15(6)797--835
-
Chen:2014:ISA, 24(1)56--112
-
Chen:2018:SIC, 28(z)z
-
Cheney, James, 22(4)379--381, 28(z)z
-
Cheney, James, see Acar, Umut A.
-
Cheney:2018:SIP, 28(z)z
-
Cheng, Eric, 21(4)467--496
-
Cheng, Eric, see Liu, Hai
-
chessboard, 14(6)613--622
-
Chiang, Tsung-Ju, 31(z)z
-
Chiang, Tsung-Ju, see Mu, Shin-Cheng
-
Chin, Wei-Ngan, 4(4)515--555
-
Chin:1994:SFF, 4(4)515--555
-
Chirimar, Jawahar, 6(2)195--244
-
Chirimar:1996:RCC, 6(2)195--244
-
Chitil, Olaf, 19(1)1--16, 19(6)723--725
-
Chitil, Olaf, see Swierstra, S. Doaitse
-
Chitil:2009:BRE, 19(6)723--725
-
Chlipala, Adam, 18(5)599--647
-
Chlipala:2008:MDC, 18(5)599--647
-
Choi, Kwanghoon, 29(z)z
-
Choi:2019:TRC, 29(z)z
-
choice, 6(3)519--526, 14(6)657--668
-
choose, 0(0)xvi--133
-
choreographies, 34(z)z--z
-
chosen, 0(0)xvii--485
-
Chris, 6(1)189--193, 9(5)577--578
-
Christina, 24(4)524--527
-
Christopher, 13(4)829--831
-
Christos, 22(6)854--855
-
Chrzaszcz, Daria, Walukiewicz-, 13(2)339--414
-
Chuang, Cheng-En, 32(z)z
-
Chuang, Tyng-Ruey, 7(4)357--394
-
Chuang:1997:SMF, 7(4)357--394
-
Chuang:2022:SMF, 32(z)z
-
Church, 15(1)1--13
-
CIC, 27(z)z
-
Cichon, A., 11(1)33--53
-
Cichon, A., see Bonfante, G.
-
Cimini, Matteo, 28(z)z
-
Cimini, Matteo, see Zakian, Timothy A. K.
-
circuit, 0(0)xxvi--586, 14(6)697--713
-
City, 24(2)421--422
-
Clack, 6(1)189--193
-
Clack, Chris, 0(0)x--301, 5(2)225--277
-
Clack, Chris, see Myers, Colin
-
Clack:1995:LPT, 5(2)225--277
-
Claessen, Koen, 9(3)313--323, 14(6)741--757, 25(z)z, 27(z)z
-
Claessen, Koen, see Bernardy, Jean-Philippe,
see Smallbone, Nicholas
-
Claessen:1999:PMC, 9(3)313--323
-
Claessen:2004:FPP, 14(6)741--757
-
Claessen:2015:GCR, 25(z)z
-
Clare, Amanda, 25(z)z
-
Clare:2015:RFS, 25(z)z
-
clarity, 0(0)xv--240, 24(1)128--130
-
Clark, A. N., 6(2)329--354
-
Clark:1996:FBR, 6(2)329--354
-
Clarke, Dave, 16(6)793--811
-
Clarke, Dave, see Potanin, Alex
-
class, 2(4)475--503, 5(1)1--35, 5(2)201--224, 6(3)485--518,
12(2)133--158, 13(1)81--96, 13(1)149--152, 13(5)935--944,
20(3)271--302
-
class, First-, 19(2)191--225
-
class, first-, 3(4)465--484
-
classical, 0(0)xxi--534, 8(6)543--572, 13(4)826--828, 28(z)z,
33(z)z--99999999
-
classification, 11(1)95--116
-
Clayman, Stuart, 5(2)225--277
-
Clayman, Stuart, see Clack, Chris
-
clean, 5(1)81--110, 5(3)383--414
-
clear, 0(0)xv--240
-
clearly, 0(0)xi--277
-
Clements, John, 12(2)159--182, 20(1)3--18
-
Clements, John, see Findler, Robert Bruce
-
Clements:2010:LLP, 20(1)3--18
-
Clerc, Xavier, 26(z)z
-
Clerc:2016:OJJ, 26(z)z
-
client, 0(0)xvi--133
-
client-server, 29(z)z
-
Clinger, William D., 11(3)319--346
-
Clinger, William D., see Wand, Mitchell
-
closed, 9(5)565--575, 13(3)545--571, 24(4)434--473
-
closures, 6(1)47--74
-
CLPX, 18(2)251--283
-
CMC, 4(1)47--63
-
CML, 8(5)447--491
-
co-programs, 31(z)z
-
COCHIS, 29(z)z
-
Cockx, Jesper, 26(z)z, 28(z)z, 30(z)z
-
Cockx, Jesper, see Abel, Andreas
-
Cockx:2016:EDP, 26(z)z
-
Cockx:2018:PRU, 28(z)z
-
Cockx:2020:EDC, 30(z)z
-
code, 0(0)xvii--485, 0(0)xxiii--402, 5(3)283--316, 13(3)677--708,
15(6)797--835, 25(z)z, 29(z)z, 31(z)z
-
code, useless-, 10(6)509--559
-
Codish, Michael, 26(z)z
-
Codish:2016:PSS, 26(z)z
-
coercion, 26(z)z, 31(z)z
-
Cogent, 31(z)z
-
cognitively, 25(z)z
-
Cohen, Joshua, 31(z)z
-
Cohen, Joshua, see Breitner, Joachim
-
coherence, 8(4)413--436, 11(4)359--393, 19(2)157--172
-
coherent, 23(3)352--354, 29(z)z
-
coin, 29(z)z
-
Colazzo, Dario, 16(4)621--661
-
Colazzo:2006:SAP, 16(4)621--661
-
Colin, 6(1)189--193, 7(5)555--556, 8(4)445--446, 14(1)125--128
-
Collard, 14(5)589--592
-
Collard, Jean-François, 0(0)xviii--237
-
Collard:2003:RAP, 0(0)xviii--237
-
collection, 7(2)227--229, 24(2)218--283, 31(z)z
-
collections, 32(z)z
-
College, 16(2)249--250, 17(3)424--426
-
column, 13(5)833--834, 13(5)835--838
-
combinator, 4(1)77--88, 6(2)355--364, 6(3)445--464, 7(6)593--612,
9(2)113--146, 9(5)483--525, 10(4)397--408, 13(4)815--822,
14(6)727--739, 19(2)145--156, 21(1)115--117, 21(3)309--329, 27(z)z,
31(z)z
-
combinatorial, 0(0)xi--277, 19(3)469--487
-
combinatory, 7(6)593--612, 33(z)z--99999999
-
combine, 0(0)xviii--471
-
combined, 0(0)xvii--485, 0(0)xviii--471
-
commands, 0(0)xviii--471
-
commercial, 7(2)163--182, 19(1)27--45, 23(6)701--712
-
Communicating, 11(4)433--436
-
communication, 5(4)549--581, 10(1)91--120, 28(z)z
-
communications, 15(2)219--247
-
community, 0(0)xxiii--402
-
commutative, 21(4)467--496
-
commutative, associative-, 11(2)207--251
-
Compagnoni, Adriana, 15(2)219--247
-
Compagnoni, Adriana, see Bonelli, Eduardo
-
comparative, 17(2)145--205
-
Comparing, 5(3)283--316, 20(3)303--352
-
comparison, 20(3)271--302
-
competitive, 7(4)421--440
-
compilation, 8(1)61--81, 9(4)373--426, 10(6)561--605, 31(z)z
-
Compile-time, 21(3)219--234, 22(2)181--216
-
compiled, 22(1)9--30
-
compiler, 0(0)xxiii--657, 0(0)x--390, 6(1)75--109, 6(2)269--298,
9(1)105--111, 11(2)207--251, 12(4)393--434, 13(1)145--146,
15(4)615--650, 15(5)653--667, 25(z)z, 26(z)z, 29(z)z, 30(z)z
-
compiling, 6(5)723--756, 9(6)579--603, 13(3)455--481, 13(3)677--708,
27(z)z
-
complete, 7(6)593--612, 16(4)375--414
-
completeness, PTIME-, 14(6)623--633
-
Complex, 13(1)153--156
-
complexity, 4(4)435--477, 7(3)355--356, 9(4)479--482, 11(1)3--31,
24(2)166--217, 33(z)z--99999999
-
components, 1(2)191--211
-
Composable, 26(z)z, 31(z)z
-
composed, 0(0)xviii--471
-
composing, 12(6)617--622, 14(6)715--725
-
composition, 14(3)317--363, 26(z)z
-
compositional, 18(5)567--598
-
comprehensible, 0(0)xviii--471, 27(z)z
-
comprehension, 3(2)247--250
-
compression, 0(0)xi--277, 23(6)629--657
-
Computability, 9(4)479--482
-
computation, 0(0)xv--240, 0(0)xviii--471, 5(4)549--581, 7(1)1--72,
10(5)453--499, 13(3)647--676, 15(6)893--939, 17(4)547--612,
19(3)335--376, 22(3)275--299, 23(3)249--292, 24(1)56--112, 26(z)z,
27(z)z, 28(z)z, 34(z)z--99999999
-
computational, 0(0)xxiii--657, 6(2)195--244, 7(3)355--356, 8(2)177--193,
11(4)433--436, 24(1)1--55, 24(4)524--527, 27(z)z, 28(z)z
-
COMPUTERS, 0(0)xvi--133, 0(0)xviii--471, 0(0)z
-
computing, 0(0)viii--145, 0(0)xxx--439, 2(4)475--503, 14(1)125--128,
14(2)247--249, 25(z)z
-
concept, 0(0)xviii--471, 0(0)xxvii--900, 0(0)x--529, 13(6)1087--1088,
19(2)254--256, 20(3)271--302
-
concern, 0(0)xviii--471
-
concerned, 0(0)xviii--471
-
concise, 0(0)xvii--485, 0(0)xxiii--402
-
concrete, 0(0)xviii--471, 20(5)463--535
-
concurrency, 0(0)xvi--133, 8(5)537--542, 9(3)313--323, 22(6)853--854
-
concurrent, 0(0)xiii--515, 0(0)xiv--308, 0(0)xxiii--657, 0(0)xxvi--586,
5(4)653--660, 7(3)321--347, 10(5)453--499, 11(2)253--262,
12(4)359--374, 14(6)657--668, 15(2)219--247, 19(2)259--261,
20(2)137--173, 28(z)z, 31(z)z
-
conference, 2(2)227--231
-
confinement, 16(1)83--128, 16(6)793--811
-
confluence, 10(5)453--499, 19(5)581--631, 27(z)z
-
confluent, 6(2)299--327, 7(4)395--420, 9(6)625--647
-
conformations, 5(3)443--460
-
congresses, 2257(0)viii--349
-
connection, 29(z)z
-
conquer, divide-and-, 9(3)279--310
-
Conrad, 24(2)419--421
-
CONS, 11(1)55--94
-
Consel, Charles, 5(4)461--500
-
Consel:1995:LLP, 5(4)461--500
-
consensus, 21(2)119--128
-
conservatively, 6(1)171--180
-
Consistency, 16(3)327--372
-
consistent, 23(3)249--292
-
Constable, Bob, 11(1)1--1
-
Constable, Bob, see Leivant, Daniel
-
constant, 8(2)97--129, 17(6)777--792
-
constrained, 6(1)29--46, 25(z)z
-
constraint, 1(2)213--227, 11(2)253--262, 11(3)319--346, 11(5)557--587,
17(1)83--129, 17(2)207--214, 17(3)353--386, 19(6)663--697
-
construct, 0(0)xxvi--586
-
Constructed, 14(2)211--245
-
constructing, 28(z)z
-
Construction, 14(5)598--600
-
construction, correct-by-, 33(z)z--99999999
-
constructions, 1(2)155--189, 6(3)519--526, 13(2)339--414
-
constructive, 5(3)415--442, 29(z)z
-
constructively, 27(z)z
-
constructor, 5(1)1--35, 19(5)581--631
-
contain, 0(0)xxiii--657, 0(0)xxvi--586
-
Container, 10(2)191--225
-
containers, 25(z)z
-
content, 0(0)xvi--133
-
Contents, 0(0)xxiii--657
-
context-free, 14(6)669--680, 25(z)z
-
context-sensitive, 14(4)379--427
-
contexts, 16(3)327--372, 22(2)181--216
-
Contextual, 23(6)658--700
-
continuation, 3(4)465--484, 8(6)543--572, 12(6)617--622, 17(6)687--730,
30(z)z, 33(z)z--99999999
-
contract, 16(4)375--414, 22(3)225--274, 27(z)z, 28(z)z,
33(z)z--99999999
-
Contributions, 27(z)z
-
contributors, 0(0)xxiii--402
-
control, 0(0)xv--240, 6(3)393--418, 15(2)131--177, 16(3)269--280,
18(3)373--419, 19(1)17--26, 21(6)617--662, 22(4)477--528,
24(1)1--55, 27(z)z, 31(z)z
-
control-flow, 28(z)z
-
controlling, 26(z)z
-
Convent, Lukas, 30(z)z
-
Convent:2020:DBD, 30(z)z
-
conversion, 6(2)245--267, 22(2)153--180, 33(z)z--99999999
-
conversion, -, 6(2)245--267
-
converting, 28(z)z
-
Cook, William R., 22(6)797--852
-
Cook, William R., see Oliveira, Bruno C. D. S.
-
Cooperstein, Irene, 16(3)293--325
-
Cooperstein, Irene, see Erwig, Martin
-
copattern, 26(z)z, 30(z)z
-
Coq, 25(z)z, 32(z)z, 33(z)z--99999999, 33(z)z--z
-
coq, hs-to-, 31(z)z
-
Coquand, Thierry, 4(1)77--88, 16(2)137--155
-
Coquand, Thierry, see Barthe, Gilles
-
Coquand:1994:TLC, 4(1)77--88
-
core, 0(0)xvii--485, 8(5)447--491, 28(z)z
-
corecursion, 33(z)z--99999999
-
coroutine, 30(z)z
-
correct, 13(4)797--814, 16(3)293--325, 21(2)209--213, 25(z)z, 30(z)z
-
correct-by-construction, 33(z)z--99999999
-
correctness, 0(0)xv--240, 0(0)xvii--469, 3(3)347--363, 3(3)365--387,
5(4)461--500, 6(1)75--109, 13(3)509--543, 14(1)3--19, 16(4)621--661,
17(6)675--686, 27(z)z, 31(z)z
-
Correspondence, 15(2)219--247
-
corresponding, 29(z)z
-
corrigendum, 9(4)463--469, 19(2)262--262
-
Cosmo, Roberto, Di, 3(4)485--525, 6(2)299--327
-
cost, 0(0)xv--240, 6(1)47--74, 31(z)z, 32(z)z
-
cost, zero-, 26(z)z
-
countdown, 12(6)609--616, 15(5)679--702
-
counterexample, 4(1)113--115
-
counting, 6(2)195--244, 23(5)594--628, 25(z)z
-
counts, 22(4)529--573
-
Courant, Judicaël, 17(3)287--352
-
Courant:2007:MCP, 17(3)287--352
-
course, 0(0)xv--240, 0(0)xxiii--657, 0(0)xxvi--586, 7(4)447--449
-
Cousineau, 9(4)479--482
-
Cousineau, Guy, 0(0)xiv--445
-
Cousineau:1998:FAP, 0(0)xiv--445
-
coverage, 0(0)xxiii--402
-
covering, 21(2)119--128
-
Covino, Emanuele, 11(1)95--116
-
Covino, Emanuele, see Caporaso, Salvatore
-
CPS, 12(6)617--622, 13(5)867--904, 13(5)905--923, 13(5)925--933,
17(6)793--812
-
CPU, 13(1)233--234
-
Craft, 8(6)633--637
-
Crary, Karl, 11(5)441--466, 12(1)43--88, 12(6)567--600, 13(5)957--959,
15(2)249--291, 30(z)z
-
Crary, Karl, see Blelloch, Guy,
see Morrisett, Greg
-
Crary:2002:IPT, 12(6)567--600
-
Crary:2005:MAI, 15(2)249--291
-
Crary:2020:FSA, 30(z)z
-
CRAY, 2(1)81--126
-
CRC, 25(z)z
-
create, 0(0)xix--374, 21(2)215--217
-
critical, business-, 0(0)xvi--133
-
critique, 3(4)391--429
-
Crolard, Tristan, 9(6)625--647
-
Crolard:1999:CCC, 9(6)625--647
-
CS1, 28(z)z
-
cube, 6(2)245--267, 7(6)613--660, 23(2)145--160
-
Cubical, 31(z)z
-
cubism, 6(3)379--392
-
CUFP, 22(1)1--8
-
CUFP'13, 25(z)z
-
Culpepper, Ryan, 22(2)181--216, 22(4)439--476
-
Culpepper, Ryan, see Flatt, Matthew
-
Culpepper:2012:FM, 22(4)439--476
-
Cuneiform, 27(z)z
-
Curien, 11(5)589--589
-
Curien, P.-L., 1(4)375--416
-
Curien, P.-L., see Abadi, M.
-
Curien, Pierre-Louis, 4(1)113--115, 6(2)299--327
-
Curien:1994:TPY, 4(1)113--115
-
Curien:1996:CRC, 6(2)299--327
-
curricula, 0(0)xxiii--657
-
curriculum, 14(4)365--378
-
curry, 16(4)415--449
-
curse, 24(4)423--433
-
Curtis, S. A., 16(2)129--136, 23(6)629--657
-
Curtis, S. A., see Martin, C. E.
-
Curtis, Sharon, 16(1)13--20, 25(z)z
-
Curtis, Sharon, see Bird, Richard
-
Curtis:2006:FPM, 16(2)129--136
-
Curtis:2015:CLT, 25(z)z
-
Custom, 24(4)434--473
-
cut, 10(1)121--134, 13(4)797--814, 17(6)731--776, 27(z)z