Index file section P for jfunctprogram.bib

Last update: Sat Oct 21 02:07:46 MDT 2023               

Return to index directory

P

• P, 6(5)757--761, 9(3)347--354, 13(4)829--831, 14(5)592--594, 19(6)723--725, 21(1)115--117, 30(z)z
• P.-L, 11(5)589--589
• PADL, 2257(0)viii--349
• Padovani, Luca, 27(z)z
• Padovani:2017:SLI, 27(z)z
• PAEAN, 26(z)z
• Pagano, 14(5)592--594
• Pagano, Bruno, 8(2)131--176
• Pagano, Bruno, see Hardin, Thérèse
• Pagano, Miguel, 25(z)z
• Pagano, Miguel, see Fridlender, Daniel
• Page, Rex, 7(5)555--556, 8(4)445--446, 17(6)675--686
• Page, Rex L., 2(2)203--212
• Page, Rex L., see Burton, F. Warren
• Page:1997:BRA, 7(5)555--556
• Page:1998:BRA, 8(4)445--446
• Page:2007:ESC, 17(6)675--686
• pairing, 6(2)299--327
• pairwise, 28(z)z
• Paiva, V. C. V., De, 8(2)177--193
• Paiva, Valeria de, 11(5)589--589
• PAL+, 13(2)317--338
• Palgrave, 14(5)594--597
• Palka, Michal H., 25(z)z
• Palka, Michal H., see Claessen, Koen
• Palsberg, J., 7(6)557--591
• Palsberg, J., see {\O}rb{\ae}k, P.
• Palsberg, Jens, 3(3)347--363, 6(2)269--298, 11(3)263--317, 13(5)905--923, 16(1)83--128
• Palsberg, Jens, see Bondorf, Anders, see Zhao, Tian
• Palsberg:1993:CBT, 3(3)347--363
• Palsberg:2001:PFI, 11(3)263--317
• Palsberg:2003:CTF, 13(5)905--923
• Pani, Giovanni, 11(1)95--116
• Pani, Giovanni, see Caporaso, Salvatore
• Papaspyrou, Nikolaos S., 10(3)227--244
• Papaspyrou:2000:SEO, 10(3)227--244
• paper, 7(1)125--126, 7(3)355--356, 11(4)437--437, 31(z)z
• paperback, 0(0)viii--145, 0(0)ix--194, 0(0)xi--235, 0(0)xii--171, 0(0)xiii--320, 0(0)xiii--448, 0(0)xiii--515, 0(0)xiv--427, 0(0)xiv--445, 0(0)xv--240, 0(0)xvii--485, 0(0)xviii--363, 0(0)xix--374, 0(0)xxiii--657, 0(0)x--212, 0(0)x--301, 0(0)x--390, 0(0)z, 1(0)vi--142, 23(3)352--354, 24(5)608--609, 25(z)z
• paradigm, 0(0)xxiii--402, 11(2)155--206
• paradigmatic, 4(2)127--206
• parallel, 0(0)xiii--515, 0(0)xiv--308, 0(0)xxiii--402, 1(3)329--366, 2(4)387--405, 4(1)65--75, 5(3)345--382, 7(2)183--217, 9(4)427--462, 10(5)501--508, 10(6)561--605, 12(4)469--510, 13(4)824--826, 14(6)741--757, 15(3)351--352, 15(3)431--475, 15(3)477--502, 15(4)615--650, 20(5)417--461, 21(1)59--114, 25(z)z, 26(z)z, 28(z)z
• parallel, data-, 9(4)427--462
• parallel-functional, 15(1)67--100
• parallelisation, 31(z)z
• parallelism, 5(4)549--581, 8(1)23--60, 20(5)537--576
• Parallelization, 9(3)279--310
• Parallelizing, 9(6)649--673
• parameter, 9(2)225--245, 14(3)317--363, 18(5)781--819
• parameter, multi-, 12(2)133--158
• Parameterised, 19(3)335--376
• parameterized, 14(5)547--587, 31(z)z
• parametric, 2(2)213--226, 18(1)87--140
• parametric, Non-, 21(4)497--562
• parametrically, 30(z)z
• parametricity, 20(2)175--210, 21(4)497--562, 22(2)107--152
• Parberry, 28(z)z
• parentheses, 13(4)815--822, 31(z)z
• Park, Sungwoo, 19(1)107--142, 21(1)21--58
• Park:2009:TSH, 19(1)107--142
• Park:2011:CHD, 21(1)21--58
• Parker, D. Stott, 9(6)605--624
• Parker, D. Stott, see Lê, Dinh
• Parr, 21(2)215--217
• Parr, Terence (Terence John), 0(0)xix--374
• Parr:2010:LIP, 0(0)xix--374
• Parrott, David, 5(2)225--277
• Parrott, David, see Clack, Chris
• parser, 6(2)355--364
• parsing, 2(3)323--343, 6(3)445--464, 8(2)195--199, 8(4)437--444, 14(6)635--646, 14(6)669--680, 14(6)741--757, 21(3)219--234, 25(z)z
• Part, 0(0)xviii--471, 11(1)117--153, 13(5)925--933, 25(z)z, 30(z)z
• partial, 0(0)xii--163, 1(1)21--69, 2(3)365--365, 3(3)315--346, 5(4)461--500, 6(2)269--298, 6(4)563--585, 8(2)97--129, 12(6)617--622, 14(1)3--19, 22(2)181--216
• partially, 3(2)191--215, 19(5)509--543
• particular, 0(0)xi--277
• partition, 9(5)565--575
• partitioning, 2(4)407--435, 22(3)300--374
• Partridge, Andrew, 6(2)355--364
• Partridge:1996:PPC, 6(2)355--364
• parts, 0(0)xxiii--402
• Parys, Pawel, 26(z)z
• Parys:2016:CLT, 26(z)z
• Pasalic, Emir, 14(5)547--587
• Pasalic, Emir, see Sheard, Tim
• Pascal, 0(0)xvi--133
• pass, one-, 17(6)793--812
• passing, Capability-, 30(z)z
• passing, message-, 32(z)z
• past, 0(0)xxiii--657
• patch, 26(z)z
• Paterson, Ross, 9(1)77--91, 16(2)197--217, 18(1)1--13, 22(2)107--152
• Paterson, Ross, see Bernardy, Jean-Philippe, see Bird, Richard S., \see{Hinze, Ralf, see Mcbride, Conor
• Paterson, Ross A., 11(4)359--393
• Paterson, Ross A., see Bennett, Andrew J.
• path, 6(1)29--46, 16(4)621--661
• Patryshev, Vlad, 24(5)608--609
• Patryshev:2014:BRI, 24(5)608--609
• pattern, 0(0)xix--374, 0(0)xxiii--402, 3(2)171--190, 13(6)961--1004, 16(1)35--74, 17(3)387--421, 18(5)567--598, 19(2)145--156, 19(2)191--225, 19(3)377--402, 21(2)215--217, 26(z)z, 28(z)z, 30(z)z
• Paul, 10(5)501--508, 17(3)426--428
• Paulson, 6(1)189--193, 7(4)447--449
• Paulson, Lawrence C., 0(0)x--429
• Paulson:1991:MWP, 0(0)x--429
• Pavlopoulou, Christina, 11(3)263--317
• Pavlopoulou, Christina, see Palsberg, Jens
• PBK, 0(0)viii--277
• pbk, 9(4)479--482
• Peano, 29(z)z
• pearl, 0(0)xi--277, 1(1)121--124, 1(2)229--233, 1(2)235--243, 1(3)367--372, 2(2)233--236, 2(2)237--244, 2(3)367--374, 2(3)375--385, 2(4)505--513, 3(1)117--122, 3(4)553--561, 4(1)113--115, 4(1)117--123, 6(1)181--188, 6(2)365--373, 6(3)527--534, 6(3)535--562, 6(4)657--665, 7(2)219--225, 7(3)349--354, 7(4)441--445, 11(3)347--358, 13(4)815--822, 13(5)833--834, 13(5)835--838, 14(6)601--601, 14(6)603--612, 14(6)613--622, 14(6)623--633, 14(6)635--646, 14(6)647--656, 14(6)657--668, 14(6)669--680, 14(6)681--695, 14(6)697--713, 14(6)715--725, 14(6)727--739, 14(6)741--757, 14(6)759--763, 15(1)1--13, 15(5)653--667, 15(5)669--677, 16(1)1--12, 16(1)13--20, 16(1)21--34, 16(2)129--136, 16(3)253--267, 16(3)269--280, 16(3)281--291, 16(6)663--670, 16(6)671--679, 19(2)262--262, 23(2)226--227
• Pearson, 14(2)247--249
• Peña, Ricardo, 15(1)67--100, 19(1)47--94, see De La Encina, Alberto
• Peña-Mar{\'i}, Ricardo, 15(3)431--475, see Loogen, Rita
• Pena:2005:NDA, 15(1)67--100
• people, 0(0)xviii--471
• Pérez, Álvaro, Garc{\'i}a-, 29(z)z
• Perez, Ivan, 30(z)z
• Perez:2020:FTF, 30(z)z
• Perez:2020:RVV, 30(z)z
• perfect, 0(0)xxiii--402, 10(3)305--317
• performance, 0(0)xv--240, 15(3)351--352, 29(z)z
• performance, high-, 12(4)359--374, 14(1)21--68
• Perlis, 0(0)xxiii--657
• permutation, 10(3)305--317, 14(6)635--646
• Perna, Stefano, 32(z)z
• Perna:2022:IMC, 32(z)z
• Persistent, 0(0)xxiii--402, 11(5)441--466
• perspective, 0(0)xviii--471, 1(1)91--120, 8(2)177--193, 9(4)479--482
• Peskine, Gilles, 20(1)71--122
• Peskine, Gilles, see Sewell, Peter
• Peter, 11(2)253--262, 19(2)254--256, 26(z)z
• Peterson, 24(2)419--421
• Petricek, Tomas, 31(z)z
• Petricek:2021:CDV, 31(z)z
• Peyton Jones, Simon, 3(1)1--2, 8(4)319--321, 12(4)393--434, 13(1)7--16, 13(1)17--38, 13(1)39--66, 13(1)67--80, 13(1)81--96, 13(1)97--102, 13(1)103--124, 13(1)125--138, 13(1)139--144, 13(1)145--146, 13(1)149--152, 13(1)153--156, 13(1)157--168, 13(1)169--172, 13(1)173--178, 13(1)179--190, 13(1)191--192, 13(1)193--198, 13(1)199--204, 13(1)205--218, 13(1)219--222, 13(1)223--224, 13(1)225--230, 13(1)231--232, 13(1)233--234, 13(1)235--240, 13(1)241--255, 13(1)i--6, 13(5)833--834, 16(4)415--449, 17(1)1--82, 17(6)687--730, 21(4)333--412
• Peyton Jones, Simon, see Barendregt, Henk, see Dyvbig, R. Kent, \see{Marlow, Simon, see Vytiniotis, Dimitrios
• Peyton Jones, Simon L., 2(2)127--202
• Peyton-Jones, Simon, 17(1)83--129
• Peyton-Jones, Simon, see Sulzmann, Martin
• PeytonJones:1992:ILF, 2(2)127--202
• PeytonJones:1998:E, 8(4)319--321
• PeytonJones:2002:SGH, 12(4)393--434
• PeytonJones:2003:A, 13(1)173--178
• PeytonJones:2003:B, 13(1)241--255
• PeytonJones:2003:BIO, 13(1)97--102
• PeytonJones:2003:CN, 13(1)153--156
• PeytonJones:2003:CP, 13(1)145--146
• PeytonJones:2003:CT, 13(1)233--234
• PeytonJones:2003:CU, 13(1)193--198
• PeytonJones:2003:DB, 13(1)39--66
• PeytonJones:2003:DF, 13(1)219--222
• PeytonJones:2003:DT, 13(1)225--230
• PeytonJones:2003:E, 13(1)17--38
• PeytonJones:2003:EPC, 13(5)833--834
• PeytonJones:2003:I, 13(1)i--6
• PeytonJones:2003:IOa, 13(1)169--172
• PeytonJones:2003:IOb, 13(1)205--218
• PeytonJones:2003:L, 13(1)231--232
• PeytonJones:2003:LS, 13(1)7--16
• PeytonJones:2003:LU, 13(1)179--190
• PeytonJones:2003:M, 13(1)67--80
• PeytonJones:2003:MUa, 13(1)191--192
• PeytonJones:2003:MUb, 13(1)199--204
• PeytonJones:2003:NF, 13(1)157--168
• PeytonJones:2003:PTC, 13(1)81--96
• PeytonJones:2003:RNa, 13(1)149--152
• PeytonJones:2003:RNb, 13(1)235--240
• PeytonJones:2003:SDI, 13(1)139--144
• PeytonJones:2003:SF, 13(1)223--224
• PeytonJones:2003:SP, 13(1)103--124
• PeytonJones:2003:SR, 13(1)125--138
• PeytonJones:2007:PTI, 17(1)1--82
• Pfenning, Frank, 15(2)249--291, 15(6)893--939, 32(z)z
• Pfenning, Frank, see Crary, Karl, see Nanevski, Aleksandar, see Pruiksma, Klaas
• pH, 13(4)824--826
• Phantom, 16(6)751--791
• PhD, 24(4)474--522, 25(z)z, 26(z)z, 27(z)z, 28(z)z, 29(z)z, 30(z)z, 31(z)z, 32(z)z, 33(z)z
• Phil, 13(4)823--824
• phonological, 15(4)573--614
• photon, 5(3)283--316
• phrase, 0(0)xviii--471, 14(6)635--646
• pi, 15(1)101--127
• Pickering, 21(2)217--218
• Pickering, Robert, 0(0)xxi--360
• Pickering:2007:FF, 0(0)xxi--360
• Pickler, 14(6)727--739
• piece, 12(6)617--622
• Pientka, Brigitte, 23(1)1--37, 26(z)z
• Pientka, Brigitte, see Abel, Andreas
• Pientka:2013:ILL, 23(1)1--37
• Pierce, B., 5(1)111--130
• Pierce, B., see Abadi, M.
• Pierce, Benjamin, 5(4)593--635
• Pierce, Benjamin, see Hofmann, Martin
• Pierce, Benjamin C., 4(2)207--247, 12(6)511--548, 13(2)295--316, 13(6)961--1004, 17(4)431--431, 22(3)225--274, 23(4)355--356, 26(z)z, 32(z)z
• Pierce, Benjamin C., see Asai, Kenichi, see Dreyer, Derek, \see{Flatt, Matthew, see Gapeyev, Vladimir, see Greenberg, Michael, see Hosoya, Haruo, \see{Hritcu, Catalin, see Levin, Michael Y.
• Pierce:1994:STT, 4(2)207--247
• Pierro, Alessandra, Di, 15(5)703--749
• Pierron, Nicolas, 20(5)577--615
• Pierron, Nicolas, see Dolstra, Eelco
• Piessens, Frank, 22(6)757--796, 26(z)z, 31(z)z
• Piessens, Frank, see Cockx, Jesper, see Devriese, Dominique, see Van Strydonck, Thomas
• Pieters, Ruben P., 30(z)z
• Pieters:2020:FCP, 30(z)z
• Pieters:2020:GME, 30(z)z
• Pipelined, 11(4)359--393
• pipelines, 30(z)z
• Piróg, Maciej, 27(z)z
• Pirog:2017:BCD, 27(z)z
• Pitts, 8(6)633--637
• Pitts, Andrew M., 21(3)235--286, 23(6)658--700
• Pitts, Andrew M., see Lakin, Matthew R.
• Pitts:2011:SRL, 21(3)235--286
• Planning, 2654(0)xxii--398
• Plasmeijer, 9(3)347--354
• Plasmeijer, Rinus, 3(4)565--566, 5(1)81--110, 5(3)279--281, 23(2)185--224
• Plasmeijer, Rinus, see Achten, Peter, see Hartel, Pieter
• Platform, 0(0)xxvi--586, 24(6)612--612
• played, 0(0)xxiii--657
• playing, 13(2)295--316
• Plessner, 24(2)419--421
• Plotkin, 14(1)125--128, 30(z)z
• Plotkin-terms, 9(5)565--575
• plug-ins, 23(5)515--551
• point, 0(0)xv--240, 1(1)91--120, 5(4)549--581, 7(4)357--394
• pointer, 11(3)347--358
• pointless, 9(3)339--346
• Pointon, R. F., 12(4)469--510
• Pointon, R. F., see Trinder, P. W.
• policy, 27(z)z
• Poll, Erik, 8(1)89--96, 9(3)347--354
• Poll:1998:EPN, 8(1)89--96
• Poll:1999:BRA, 9(3)347--354
• polymorphic, 1(2)191--211, 2(3)245--271, 5(1)111--130, 5(3)415--442, 10(1)57--75, 12(3)183--227, 23(3)229--248
• polymorphism, 2(2)213--226, 5(1)1--35, 6(1)111--141, 12(6)567--600, 18(1)87--140, 18(3)285--331, 18(5)865--911, 20(2)175--210, 27(z)z
• polynomial, 11(1)33--53
• polytypic, 8(5)527--536, 16(6)681--710, 20(3)213--270
• polyvariance, 28(z)z
• polyvariant, 11(3)263--317, 12(3)183--227
• Pons, Olivier, 13(2)261--293
• Pons, Olivier, see Barthe, Gilles
• Poon, 6(1)189--193
• Poon, Ellen, 0(0)x--301
• Poon, Ellen, see Myers, Colin
• poor, 9(3)313--323
• Portable, 26(z)z
• Portland, 2257(0)viii--349
• positive, 6(6)811--838
• postponement, 8(1)89--96
• Potanin, Alex, 16(6)793--811
• Potanin:2006:FGC, 16(6)793--811
• Potter, 6(2)375--377
• Pottier, François, 13(5)945--956, 22(4)614--704, 23(1)38--144, see Filliâtre, Jean-Christophe, see Pouillard, Nicolas
• Pottier:2013:SSP, 23(1)38--144
• Pouillard, Nicolas, 22(4)614--704
• Pouillard:2012:UTS, 22(4)614--704
• £, 14(2)249--251, 23(2)226--227, 23(3)352--354, 24(2)419--421, 24(5)608--609, 25(z)z
• power, 0(0)xvi--133, 0(0)xvii--485, 9(3)325--337, 11(1)55--94
• Power, John, 19(3)265--286
• Power, John, see Lack, Stephen
• powerful, 0(0)xi--277, 4(1)89--112
• pp, 2(2)227--231, 5(1)131--134, 5(4)653--660, 6(1)189--193, 9(4)479--482, 9(5)577--578, 10(5)501--508, 11(2)253--262, 11(4)433--436, 13(4)828--829, 14(2)247--249, 14(2)249--251, 16(2)250--251, 17(3)423--424, 17(3)428--429, 17(6)813--814, 19(2)253--254, 19(2)254--256, 19(2)256--259, 19(2)259--261, 22(2)219--221, 22(6)853--854, 22(6)854--855, 23(2)226--227, 23(3)351--352, 23(3)352--354, 24(2)421--422, 24(4)523--523
• practical, 0(0)xviii--471, 0(0)xix--681, 0(0)xxvi--586, 2(1)81--126, 7(4)447--449, 9(6)605--624, 14(1)1--2, 14(2)249--251, 17(1)1--82, 17(2)215--286, 21(6)663--664, 24(4)523--523, 25(z)z, 33(z)z, 2257(0)viii--349
• practice, 0(0)xvi--395, 0(0)xxvi--586, 5(2)225--277, 11(4)437--437, 22(2)219--221, 27(z)z, 30(z)z
• practitioners, 0(0)xv--240
• Pragmas, 13(1)145--146
• Pragmatic, 13(3)601--646, 19(2)259--261, 21(2)215--217
• Pravato, Alberto, 8(4)335--365
• Pravato, Alberto, see Honsell, Furio
• predecessors, 30(z)z
• Predefined, 13(1)81--96
• predicates, 10(1)77--89
• predicative, 11(1)95--116, 12(1)1--41
• Predictive, 6(2)355--364
• preemptive, 23(4)452--514
• Preface, 0(0)xvii--485, 17(4)431--431, 19(3)263--264, 26(z)z
• prefix, 21(1)59--114
• Prehofer, Christian, 5(2)201--224, 9(1)33--75
• Prehofer, Christian, see Hanus, Michael, see Nipkow, Tobias
• Prelude, 13(1)103--124
• Prentice, 5(4)653--660, 6(1)189--193, 9(3)347--354
• Prentice-Hall, 6(2)375--377
• prepare, 0(0)xviii--471
• presence, 27(z)z
• presentations, 16(4)583--619
• presents, 0(0)xxvi--586
• preservation, 31(z)z
• preserve, 6(5)699--722, 7(4)395--420, 10(4)321--325, 32(z)z
• Press, 0(0)xxiii--657, 2(3)365--365, 4(4)557--559, 6(1)189--193, 7(4)447--449, 7(5)555--556, 7(6)667--668, 8(4)445--446, 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, 12(1)89--90, 13(4)826--828, 13(4)829--831, 13(6)1087--1088, 14(1)125--128, 14(5)588--589, 15(4)651--651, 16(2)250--251, 17(3)426--428, 19(2)253--254, 19(2)254--256, 19(2)256--259, 19(6)723--725, 21(6)663--664, 21(6)664--666, 22(2)217--219, 22(6)854--855, 23(2)226--227, 23(3)351--352, 23(3)352--354, 24(1)128--130, 24(2)419--421, 24(4)523--523, 24(5)608--609, 25(z)z, 26(z)z, 30(z)z
• Pretnar, 30(z)z
• Pretnar, Matija, 27(z)z, 30(z)z
• Pretnar, Matija, see Kammar, Ohad, see Karachalias, Georgios, see Luksic, Ziga
• pretty-printing, 19(1)1--16
• Price, 14(2)247--249, 14(2)249--251, 19(2)254--256
• primes, 7(2)219--225
• Principal, 4(3)285--335
• principle, 0(0)xi--277, 0(0)xvii--509, 12(1)89--90, 19(3)439--468
• printing, pretty-, 19(1)1--16
• priority, 6(6)839--857, 32(z)z
• Probabilistic, 16(1)21--34
• probability, 16(1)75--81, 31(z)z
• probably, 0(0)xviii--471
• problem, 0(0)xi--277, 0(0)xv--240, 0(0)xvii--485, 1(1)121--124, 1(2)213--227, 6(1)29--46, 6(3)419--444, 11(1)95--116, 11(4)411--424, 11(5)557--587, 12(6)609--616, 14(5)588--589, 21(2)119--128, 21(6)573--583, 25(z)z, 30(z)z, 31(z)z
• procedures, 0(0)xxiii--657, 25(z)z
• proceedings, 2(2)227--231, 2257(0)viii--349
• process, 0(0)xvi--133, 14(6)741--757, 15(2)219--247, 26(z)z
• processing, 0(0)xiv--308, 0(0)xv--240, 0(0)xxiii--657, 2(1)1--21, 12(0)vii--390, 15(3)353--401, 15(4)573--614, 32(z)z
• processing, stream-, 18(3)333--371
• processing, tree-, 18(3)333--371
• Producing, 13(5)945--956
• producing, Proof-, 24(2)284--315
• product, 14(2)211--245
• productivity, 0(0)xvii--485
• professional, 0(0)xvii--485
• profiling, 3(2)217--245, 5(2)225--277, 6(4)587--620, 8(3)201--237, 20(5)417--461
• programació, 0(0)vi--142
• programmation, 0(0)ix--194
• programmeertaal, 0(0)xxiii--402
• Programmeertalen, 0(0)xiii--320
• programmer, 0(0)xi--277, 0(0)xvii--485, 0(0)xxiii--402, 0(0)x--429, 6(1)189--193, 6(2)365--373, 7(4)447--449, 20(3)303--352, 27(z)z
• programmering, 0(0)viii--145, 0(0)xiii--320
• Programmierung, 0(0)xvi--395, 0(0)xxiii--657
• programming, Meta-, 15(6)797--835
• programs, co-, 31(z)z
• progress, 0(0)xiii--448
• project, 0(0)xxiii--402, 0(0)xxvi--586, 20(1)3--18, 21(1)1--19
• project-based, 0(0)xxiii--402
• Projection, 0(0)xii--163, 2(3)365--365
• projections, 6(4)563--585
• prominent, 0(0)xvii--485
• Promoting, 11(2)207--251
• proof, 0(0)xxvi--586, 1(2)155--189, 5(4)461--500, 6(5)757--761, 11(1)33--53, 14(1)21--68, 14(1)125--128, 15(5)669--677, 16(3)269--280, 18(5)599--647, 20(3)213--270, 22(2)107--152, 23(1)38--144, 23(4)357--401, 29(z)z, 31(z)z, 32(z)z, 33(z)z
• Proof-directed, 9(4)463--469, 16(6)663--670, 19(2)262--262, 31(z)z
• Proof-irrelevance, 6(3)519--526
• Proof-producing, 24(2)284--315
• Proof-relevant, 28(z)z
• proper, 7(6)593--612
• Propositions, 24(2)384--418
• protocol, 0(0)xii--492, 31(z)z
• prototyping, 5(3)345--382
• proved, 0(0)xxvi--586
• proven, industry-, 0(0)xvii--485
• Prover, 30(z)z
• provers, 7(1)125--126, 9(2)147--166, 9(2)167--189, 14(1)3--19
• provided, 0(0)xxvi--586
• Provided, www.event-b.org''-, 0(0)xxvi--586
• provides, 0(0)xxiii--402
• proving, 0(0)xx--472, 4(4)557--559, 6(1)75--109, 16(2)157--196
• Pruiksma, Klaas, 32(z)z
• Pruiksma:2022:BF, 32(z)z
• pseudo-random, 25(z)z
• Pseudoknot, 6(4)621--655
• PSSM, 16(1)75--81
• Pt, 0(0)xvii--469
• PTIME-completeness, 14(6)623--633
• Publications, 16(2)249--250, 17(3)424--426
• published., 0(0)xxiii--657
• publisher, 0(0)xxvi--586
• Pucella, Riccardo, 16(6)751--791, 21(2)159--207
• Pucella, Riccardo, see Borgström, Johannes, see Fluet, Matthew
• pull-based, 28(z)z
• pure, 0(0)xxiii--402, 3(4)565--566, 4(1)77--88, 5(3)279--281, 8(1)89--96, 9(6)675--698, 10(5)417--452, 16(2)137--155, 16(2)219--246, 17(3)287--352, 22(2)153--180, 24(2)284--315, 25(z)z, 29(z)z
• purely, 5(4)583--592, 6(6)839--857, 8(1)1--22, 9(2)147--166, 9(5)577--578, 11(5)525--556, 14(1)113--123, 19(6)633--644, 20(5)577--615, 21(4)413--465, 24(1)56--112, 30(z)z
• purpose, general-, 16(2)197--217, 23(5)552--593
• Push, 28(z)z
• pushash, 16(4)415--449
• Pushdown, 24(2)218--283
• puzzle, 0(0)xi--277, 23(2)145--160
• Python, 25(z)z