Edit Profile (opens in new tab) Baillot, Patrick Co-Author Distance Author ID: baillot.patrick Published as: Baillot, Patrick External Links: MGP Documents Indexed: 28 Publications since 1998 1 Contribution as Editor Co-Authors: 19 Co-Authors with 25 Joint Publications 500 Co-Co-Authors all top 5 Co-Authors 4 single-authored 7 Dal Lago, Ugo 4 Ghyselen, Alexis 4 Terui, Kazushige 3 Ronchi Della Rocca, Simona 2 Atassi, Vincent 2 Barthe, Gilles 2 De Benedetti, Erika 2 Mogbil, Virgile 2 Pedicini, Marco 1 Coppola, Paolo 1 Danos, Vincent 1 Das, Anupam 1 Ehrhard, Thomas 1 Gaboardi, Marco 1 Kobayashi, Naoki 1 Marion, Jean-Yves 1 Mazza, Damiano 1 Moyen, Jean-Yves 1 Regnier, Laurent all top 5 Serials 5 Information and Computation 4 Theoretical Computer Science 2 MSCS. Mathematical Structures in Computer Science 1 Journal of Automated Reasoning 1 Fundamenta Informaticae 1 ACM Transactions on Computational Logic 1 Logical Methods in Computer Science Fields 24 Mathematical logic and foundations (03-XX) 20 Computer science (68-XX) 2 Information and communication theory, circuits (94-XX) 1 General and overarching topics; collections (00-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 26 Publications have been cited 160 times in 82 Documents Cited by ▼ Year ▼ Light types for polynomial time computation in lambda calculus. Zbl 1169.68010 Baillot, Patrick; Terui, Kazushige 26 2009 Elementary complexity and geometry of interaction. Zbl 0973.03033 Baillot, Patrick; Pedicini, Marco 15 2001 Stratified coherence spaces: A denotational semantics for light linear logic. Zbl 1051.03050 Baillot, Patrick 12 2004 Linear logic by levels and bounded time complexity. Zbl 1187.68246 Baillot, Patrick; Mazza, Damiano 11 2010 Soft lambda-calculus: A language for polynomial time computation. Zbl 1126.03306 Baillot, Patrick; Mogbil, Virgile 9 2004 A feasible algorithm for typing in elementary affine logic. Zbl 1114.03049 Baillot, Patrick; Terui, Kazushige 8 2005 A polytime functional language from light linear logic. Zbl 1260.68070 Baillot, Patrick; Gaboardi, Marco; Mogbil, Virgile 8 2010 Timeless games. Zbl 0908.03034 Baillot, Patrick; Danos, Vincent; Ehrhard, Thomas; Regnier, Laurent 7 1998 Verification of Ptime reducibility for System F terms: type inference in dual light affine logic. Zbl 1131.03032 Atassi, Vincent; Baillot, Patrick; Terui, Kazushige 7 2007 On light logics, uniform encodings and polynomial time. Zbl 1103.03060 Dal Lago, Ugo; Baillot, Patrick 6 2006 Higher-order interpretations and program complexity. Zbl 1339.68037 Baillot, Patrick; Dal Lago, Ugo 6 2016 On the expressivity of elementary linear logic: characterizing Ptime and an exponential time hierarchy. Zbl 1310.03052 Baillot, Patrick 6 2015 Light logics and optimal reduction: completeness and complexity. Zbl 1233.03059 Baillot, Patrick; Coppola, Paolo; Dal Lago, Ugo 5 2011 Types for complexity of parallel computation in pi-calculus. Zbl 1473.68111 Baillot, Patrick; Ghyselen, Alexis 5 2021 Implicit computational complexity of subrecursive definitions and applications to cryptographic proofs. Zbl 1471.68053 Baillot, Patrick; Barthe, Gilles; Dal Lago, Ugo 4 2015 Higher-order interpretations and program complexity. Zbl 1252.68060 Baillot, Patrick; Dal Lago, Ugo 4 2012 Verification of Ptime reducibility for System F terms via dual light affine logic. Zbl 1225.03084 Atassi, Vincent; Baillot, Patrick; Terui, Kazushige 3 2006 Type inference for light affine logic via constraints on words. Zbl 1071.03018 Baillot, Patrick 3 2004 Combining linear logic and size types for implicit complexity. Zbl 1528.68056 Baillot, Patrick; Ghyselen, Alexis 3 2018 Guest editorial: Special issue on implicit computational complexity. Zbl 1351.00038 3 2009 Characterizing polynomial and exponential complexity classes in elementary lambda-calculus. Zbl 1417.68047 Baillot, Patrick; De Benedetti, Erika; Ronchi Della Rocca, Simona 3 2014 Sized types with usages for parallel complexity of Pi-calculus processes. Zbl 07730636 Baillot, Patrick; Ghyselen, Alexis; Kobayashi, Naoki 2 2021 Elementary complexity and geometry of interaction. (Extended abstract). Zbl 0931.03045 Baillot, Patrick; Pedicini, Marco 1 1999 Characterizing polynomial and exponential complexity classes in elementary lambda-calculus. Zbl 1395.68135 Baillot, Patrick; De Benedetti, Erika; Ronchi Della Rocca, Simona 1 2018 Implicit computational complexity of subrecursive definitions and applications to cryptographic proofs. Zbl 1468.68057 Baillot, Patrick; Barthe, Gilles; Dal Lago, Ugo 1 2019 On quasi-interpretations, blind abstractions and implicit complexity. Zbl 1288.68078 Baillot, Patrick; Dal Lago, Ugo; Moyen, Jean-Yves 1 2012 Types for complexity of parallel computation in pi-calculus. Zbl 1473.68111 Baillot, Patrick; Ghyselen, Alexis 5 2021 Sized types with usages for parallel complexity of Pi-calculus processes. Zbl 07730636 Baillot, Patrick; Ghyselen, Alexis; Kobayashi, Naoki 2 2021 Implicit computational complexity of subrecursive definitions and applications to cryptographic proofs. Zbl 1468.68057 Baillot, Patrick; Barthe, Gilles; Dal Lago, Ugo 1 2019 Combining linear logic and size types for implicit complexity. Zbl 1528.68056 Baillot, Patrick; Ghyselen, Alexis 3 2018 Characterizing polynomial and exponential complexity classes in elementary lambda-calculus. Zbl 1395.68135 Baillot, Patrick; De Benedetti, Erika; Ronchi Della Rocca, Simona 1 2018 Higher-order interpretations and program complexity. Zbl 1339.68037 Baillot, Patrick; Dal Lago, Ugo 6 2016 On the expressivity of elementary linear logic: characterizing Ptime and an exponential time hierarchy. Zbl 1310.03052 Baillot, Patrick 6 2015 Implicit computational complexity of subrecursive definitions and applications to cryptographic proofs. Zbl 1471.68053 Baillot, Patrick; Barthe, Gilles; Dal Lago, Ugo 4 2015 Characterizing polynomial and exponential complexity classes in elementary lambda-calculus. Zbl 1417.68047 Baillot, Patrick; De Benedetti, Erika; Ronchi Della Rocca, Simona 3 2014 Higher-order interpretations and program complexity. Zbl 1252.68060 Baillot, Patrick; Dal Lago, Ugo 4 2012 On quasi-interpretations, blind abstractions and implicit complexity. Zbl 1288.68078 Baillot, Patrick; Dal Lago, Ugo; Moyen, Jean-Yves 1 2012 Light logics and optimal reduction: completeness and complexity. Zbl 1233.03059 Baillot, Patrick; Coppola, Paolo; Dal Lago, Ugo 5 2011 Linear logic by levels and bounded time complexity. Zbl 1187.68246 Baillot, Patrick; Mazza, Damiano 11 2010 A polytime functional language from light linear logic. Zbl 1260.68070 Baillot, Patrick; Gaboardi, Marco; Mogbil, Virgile 8 2010 Light types for polynomial time computation in lambda calculus. Zbl 1169.68010 Baillot, Patrick; Terui, Kazushige 26 2009 Guest editorial: Special issue on implicit computational complexity. Zbl 1351.00038 3 2009 Verification of Ptime reducibility for System F terms: type inference in dual light affine logic. Zbl 1131.03032 Atassi, Vincent; Baillot, Patrick; Terui, Kazushige 7 2007 On light logics, uniform encodings and polynomial time. Zbl 1103.03060 Dal Lago, Ugo; Baillot, Patrick 6 2006 Verification of Ptime reducibility for System F terms via dual light affine logic. Zbl 1225.03084 Atassi, Vincent; Baillot, Patrick; Terui, Kazushige 3 2006 A feasible algorithm for typing in elementary affine logic. Zbl 1114.03049 Baillot, Patrick; Terui, Kazushige 8 2005 Stratified coherence spaces: A denotational semantics for light linear logic. Zbl 1051.03050 Baillot, Patrick 12 2004 Soft lambda-calculus: A language for polynomial time computation. Zbl 1126.03306 Baillot, Patrick; Mogbil, Virgile 9 2004 Type inference for light affine logic via constraints on words. Zbl 1071.03018 Baillot, Patrick 3 2004 Elementary complexity and geometry of interaction. Zbl 0973.03033 Baillot, Patrick; Pedicini, Marco 15 2001 Elementary complexity and geometry of interaction. (Extended abstract). Zbl 0931.03045 Baillot, Patrick; Pedicini, Marco 1 1999 Timeless games. Zbl 0908.03034 Baillot, Patrick; Danos, Vincent; Ehrhard, Thomas; Regnier, Laurent 7 1998 all cited Publications top 5 cited Publications all top 5 Cited by 96 Authors 12 Baillot, Patrick 10 Dal Lago, Ugo 6 Péchoux, Romain 5 Hainry, Emmanuel 5 Mazza, Damiano 4 Aubert, Clément 4 Seiller, Thomas 3 Ghyselen, Alexis 3 Marion, Jean-Yves 3 McCusker, Guy Andrew 3 Ronchi Della Rocca, Simona 3 Terui, Kazushige 2 Accattoli, Beniamino 2 Amadio, Roberto M. 2 Asperti, Andrea 2 Avanzini, Martin 2 Bagnol, Marc 2 Barthe, Gilles 2 Boudes, Pierre 2 De Benedetti, Erika 2 Hofmann, Martin 2 Kanovich, Max Iosifovich 2 Kapron, Bruce M. 2 Manzonetto, Giulio 2 Perrinel, Matthieu 2 Sakayori, Ken 2 Tortora de Falco, Lorenzo 2 Tsukada, Takeshi 2 Zorzi, Margherita 1 Abramsky, Samson 1 Alves, Sandra 1 Baudon, Thaïs 1 Bhaskar, Siddharth 1 Brunel, Aloïs 1 Calderon, Ana C. 1 Chrząszcz, Jacek 1 Clairambault, Pierre 1 Coppola, Paolo 1 Crubillé, Raphaëlle 1 Dal Zilio, Silvano 1 Danos, Vincent 1 de Carvalho, Daniel 1 Demangeon, Romain 1 Eguchi, Naohi 1 Férée, Hugo 1 Fernández, Maribel 1 Fichot, Jean 1 Florido, Mário 1 Fuhs, Carsten 1 Gaboardi, Marco 1 Gavazzo, Francesco 1 Gonnord, Laure 1 Greco, Giuseppe 1 Guerrini, Stefano 1 Guo, Liye 1 Honsell, Furio 1 Hoyrup, Mathieu 1 Ishikawa, Takuma 1 Joinet, Jean-Baptiste 1 Kobayashi, Naoki 1 Lai, Anna Chiara 1 Laird, Jim 1 Lasson, Marc 1 Laurent, Olivier 1 Liquori, Luigi 1 Mackie, Ian 1 Madet, Antoine 1 Maksimović, Petar 1 Masini, Andrea 1 Matsuda, Kazutaka 1 McKinley, Richard 1 Moot, Richard 1 Moser, Georg 1 Nguyên, Lê Thành Dũng 1 Pagani, Michele 1 Palmigiano, Alessandra 1 Paquet, Hugo 1 Pedicini, Marco 1 Petit, Barbara 1 Piazza, Mario 1 Pradic, Pierre 1 Retoré, Christian 1 Roversi, Luca 1 Sato, Ryosuke 1 Scagnetto, Ivan 1 Schöpp, Ulrich 1 Schubert, Aleksy 1 Scott, Philip J. 1 Shoshi, Tsubasa 1 Simonsen, Jakob Grue 1 Solieri, Marco 1 Standefer, Shawn 1 Tranquilli, Paolo 1 Vale, Deivid 1 Vercelli, Luca 1 Yoshida, Nobuko all top 5 Cited in 13 Serials 16 Theoretical Computer Science 16 Information and Computation 5 MSCS. Mathematical Structures in Computer Science 3 Logical Methods in Computer Science 2 Annals of Pure and Applied Logic 2 Journal of Automated Reasoning 2 ACM Transactions on Computational Logic 1 Studia Logica 1 Science of Computer Programming 1 Archive for Mathematical Logic 1 Journal of Logic, Language and Information 1 Journal of Functional Programming 1 The Journal of Logic and Algebraic Programming all top 5 Cited in 7 Fields 65 Computer science (68-XX) 56 Mathematical logic and foundations (03-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Quantum theory (81-XX) 1 Category theory; homological algebra (18-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year