×
Author ID: baillot.patrick Recent zbMATH articles by "Baillot, Patrick"
Published as: Baillot, Patrick
External Links: MGP

Publications by Year

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 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

Citations by Year