# zbMATH — the first resource for mathematics

## Lafont, Yves

Compute Distance To:
 Author ID: lafont.yves Published as: Lafont; Lafont, Y.; Lafont, Yves External Links: MGP
 Documents Indexed: 26 Publications since 1987, including 3 Books
all top 5

#### Co-Authors

 15 single-authored 3 Girard, Jean-Yves 2 Métayer, François 2 Regnier, Laurent 1 Dehornoy, Patrick 1 Ehrhard, Thomas 1 Prouté, Alain 1 Rannou, Pierre 1 Scedrov, Andre 1 Taylor, Paul H. 1 Worytkiewicz, Krzysztof
all top 5

#### Serials

 3 Journal of Pure and Applied Algebra 3 Theoretical Computer Science 2 The Journal of Symbolic Logic 2 Information and Computation 2 MSCS. Mathematical Structures in Computer Science 1 Advances in Mathematics 1 Annales de l’Institut Fourier 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 Gazette des Mathématiciens 1 Applied Categorical Structures 1 Diagrammes 1 Cambridge Tracts in Theoretical Computer Science 1 London Mathematical Society Lecture Note Series
all top 5

#### Fields

 17 Computer science (68-XX) 11 Mathematical logic and foundations (03-XX) 8 Category theory; homological algebra (18-XX) 4 Group theory and generalizations (20-XX) 2 General and overarching topics; collections (00-XX) 1 General algebraic systems (08-XX) 1 Associative rings and algebras (16-XX) 1 Information and communication theory, circuits (94-XX)

#### Citations contained in zbMATH Open

24 Publications have been cited 598 times in 529 Documents Cited by Year
Proofs and types. Zbl 0671.68002
Girard, Jean-Yves; Taylor, Paul; Lafont, Yves
1989
Linear logic and lazy computation. Zbl 0647.03016
Girard, J. Y.; Lafont, Y.
1987
From proof-nets to interaction nets. Zbl 0830.03028
Lafont, Yves
1995
Soft linear logic and polynomial time. Zbl 1079.03057
Lafont, Yves
2004
Towards an algebraic theory of Boolean circuits. Zbl 1037.94015
Lafont, Yves
2003
A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier). Zbl 0832.20080
Lafont, Yves
1995
The linear abstract machine. Zbl 0648.68016
Lafont, Y.
1988
The finite model property for various fragments of linear logic. Zbl 0897.03010
Lafont, Yves
1997
Interaction combinators. Zbl 0882.68058
Lafont, Yves
1997
Homology of Gaussian groups. Zbl 1100.20036
Dehornoy, Patrick; Lafont, Yves
2003
A folk model structure on omega-cat. Zbl 1236.18017
Lafont, Yves; Métayer, François; Worytkiewicz, Krzysztof
2010
Church-Rosser property and homology of monoids. Zbl 0748.68035
Lafont, Yves; Prouté, Alain
1991
The undecidability of second order multiplicative linear logic. Zbl 0852.03003
Lafont, Yves; Scedrov, Andre
1996
Algebra and geometry of rewriting. Zbl 1132.68036
Lafont, Yves
2007
Penrose diagrams and 2-dimensional rewriting. Zbl 0789.18004
Lafont, Yves
1992
Penrose diagrams and rewriting in dimension 2. Zbl 0769.68060
Lafont, Y.
1992
The undecidability of second order linear logic without exponentials. Zbl 0866.03005
Lafont, Yves
1996
Polygraphic resolutions and homology of monoids. Zbl 1169.18002
Lafont, Yves; Métayer, François
2009
Corrigenda to: “The linear abstract machine”. Zbl 0659.68016
Lafont, Y.
1988
Diagram rewriting and operads. Zbl 1277.18004
Lafont, Yves
2011
A boundary version of Cartan-Hadamard and applications to rigidity. Zbl 1190.53031
Jean-François; Lafont
2009
Rewriting and the word problem. Zbl 1231.20031
Lafont, Yves
2009
Diagram rewriting for orthogonal matrices: A study of critical peaks. Zbl 1145.68451
Lafont, Yves; Rannou, Pierre
2008
Advances in linear logic. Based on the linear logic workshop held June 14-18, 1993 at the Mathematical Sciences Institute, Cornell University, Ithaca, New York, USA. Zbl 0816.00018
Girard, Jean-Yves (ed.); Lafont, Yves (ed.); Regnier, Laurent (ed.)
1995
Diagram rewriting and operads. Zbl 1277.18004
Lafont, Yves
2011
A folk model structure on omega-cat. Zbl 1236.18017
Lafont, Yves; Métayer, François; Worytkiewicz, Krzysztof
2010
Polygraphic resolutions and homology of monoids. Zbl 1169.18002
Lafont, Yves; Métayer, François
2009
A boundary version of Cartan-Hadamard and applications to rigidity. Zbl 1190.53031
Jean-François; Lafont
2009
Rewriting and the word problem. Zbl 1231.20031
Lafont, Yves
2009
Diagram rewriting for orthogonal matrices: A study of critical peaks. Zbl 1145.68451
Lafont, Yves; Rannou, Pierre
2008
Algebra and geometry of rewriting. Zbl 1132.68036
Lafont, Yves
2007
Soft linear logic and polynomial time. Zbl 1079.03057
Lafont, Yves
2004
Towards an algebraic theory of Boolean circuits. Zbl 1037.94015
Lafont, Yves
2003
Homology of Gaussian groups. Zbl 1100.20036
Dehornoy, Patrick; Lafont, Yves
2003
The finite model property for various fragments of linear logic. Zbl 0897.03010
Lafont, Yves
1997
Interaction combinators. Zbl 0882.68058
Lafont, Yves
1997
The undecidability of second order multiplicative linear logic. Zbl 0852.03003
Lafont, Yves; Scedrov, Andre
1996
The undecidability of second order linear logic without exponentials. Zbl 0866.03005
Lafont, Yves
1996
From proof-nets to interaction nets. Zbl 0830.03028
Lafont, Yves
1995
A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier). Zbl 0832.20080
Lafont, Yves
1995
Advances in linear logic. Based on the linear logic workshop held June 14-18, 1993 at the Mathematical Sciences Institute, Cornell University, Ithaca, New York, USA. Zbl 0816.00018
Girard, Jean-Yves (ed.); Lafont, Yves (ed.); Regnier, Laurent (ed.)
1995
Penrose diagrams and 2-dimensional rewriting. Zbl 0789.18004
Lafont, Yves
1992
Penrose diagrams and rewriting in dimension 2. Zbl 0769.68060
Lafont, Y.
1992
Church-Rosser property and homology of monoids. Zbl 0748.68035
Lafont, Yves; Prouté, Alain
1991
Proofs and types. Zbl 0671.68002
Girard, Jean-Yves; Taylor, Paul; Lafont, Yves
1989
The linear abstract machine. Zbl 0648.68016
Lafont, Y.
1988
Corrigenda to: “The linear abstract machine”. Zbl 0659.68016
Lafont, Y.
1988
Linear logic and lazy computation. Zbl 0647.03016
Girard, J. Y.; Lafont, Y.
1987
all top 5

#### Cited by 581 Authors

 14 Mackie, Ian 13 Dal Lago, Ugo 11 Lafont, Yves 10 Fernández, Maribel 8 Guiraud, Yves 7 Kanovich, Max Iosifovich 7 Kobayashi, Yuji 6 Abramsky, Samson 6 Kesner, Delia 6 Nour, Karim 6 Pym, David J. 5 Baillot, Patrick 5 Blute, Richard F. 5 Ehrhard, Thomas 5 Ferreira, Fernando 5 Ferreira, Gilda 5 Masini, Andrea 5 Okada, Mitsuhiro 5 Otto, Friedrich 5 Roversi, Luca 5 Scedrov, Andre 5 Sobociński, Paweł 5 Solov’ëv, Sergeĭ Vladimirovich 5 Yoshida, Nobuko 4 Abel, Andreas M. 4 Ara, Dimitri 4 Aschieri, Federico 4 de Paiva, Valeria 4 Gaboardi, Marco 4 Hofmann, Martin 4 Mazza, Damiano 4 Ronchi Della Rocca, Simona 4 Sato, Shinya 4 Scott, Philip J. 4 Terui, Kazushige 4 Tortora de Falco, Lorenzo 4 van Bakel, Steffen 3 Alves, Sandra 3 Asperti, Andrea 3 Avron, Arnon 3 Bickford, Mark 3 Bonchi, Filippo 3 Braüner, Torben 3 Bucciarelli, Antonio 3 Buszkowski, Wojciech 3 Colson, Loïc 3 Constable, Robert Lee 3 Curien, Pierre-Louis 3 Došen, Kosta 3 Dowek, Gilles 3 Florido, Mário 3 Fu, Peng 3 Fu, Yuxi 3 Girard, Jean-Yves 3 Harper, Robert 3 Kamide, Norihiro 3 Kirchner, Claude 3 Komendantskaya, Ekaterina 3 Laurent, Olivier 3 Lippi, Sylvain 3 Lipton, James B. 3 Longo, Giuseppe 3 Malbos, Philippe 3 Malheiro, António 3 Martini, Simone 3 Miquel, Alexandre 3 Mogbil, Virgile 3 Montanari, Ugo G. 3 O’Hearn, Peter W. 3 Paolini, Luca 3 Piccolo, Mauro 3 Pientka, Brigitte 3 Regnier, Laurent 3 Retoré, Christian 3 Ritter, Eike 3 Salo, Ville O. 3 Salvati, Sylvain 3 Sinot, François-Régis 3 Straßburger, Lutz 3 Stump, Aaron 3 Tranquilli, Paolo 3 Wadler, Philip Lee 3 Zorzi, Margherita 2 Ageron, Pierre 2 Akama, Yohji 2 Ariola, Zena M. 2 Aubert, Clément 2 Baaz, Matthias 2 Banach, Richard 2 Béchet, Denis 2 Bethke, Inge 2 Blanqui, Frédéric 2 Boykett, Tim 2 Brown, Carolyn 2 Bruni, Roberto 2 Burel, Guillaume 2 Callegaro, Filippo 2 Coquand, Thierry 2 Čubrić, Djordje 2 Danos, Vincent ...and 481 more Authors
all top 5

#### Cited in 80 Serials

 106 Theoretical Computer Science 46 Information and Computation 39 Annals of Pure and Applied Logic 31 MSCS. Mathematical Structures in Computer Science 21 Journal of Pure and Applied Algebra 18 The Journal of Symbolic Logic 10 Journal of Automated Reasoning 9 Journal of Logic, Language and Information 7 Journal of Functional Programming 7 Logical Methods in Computer Science 6 Advances in Mathematics 6 Studia Logica 6 International Journal of Algebra and Computation 6 The Bulletin of Symbolic Logic 5 Journal of Algebra 5 Journal of Symbolic Computation 5 Applied Categorical Structures 5 RAIRO. Theoretical Informatics and Applications 5 Journal of Applied Logic 4 RAIRO. Informatique Théorique et Applications 4 Annals of Mathematics and Artificial Intelligence 3 Journal of Computer and System Sciences 3 Journal of Philosophical Logic 3 Formal Aspects of Computing 3 Mathematical Logic Quarterly (MLQ) 3 Theory and Applications of Categories 3 Higher-Order and Symbolic Computation 3 Comptes Rendus. Mathématique. Académie des Sciences, Paris 3 ACM Transactions on Computational Logic 3 Logica Universalis 2 Discrete Mathematics 2 International Journal of Theoretical Physics 2 Information Processing Letters 2 Mathematische Zeitschrift 2 Notre Dame Journal of Formal Logic 2 Transactions of the American Mathematical Society 2 Journal of Computer Science and Technology 2 Archive for Mathematical Logic 2 Applicable Algebra in Engineering, Communication and Computing 2 Journal of Applied Non-Classical Logics 2 Journal of Mathematical Sciences (New York) 2 Diagrammes 2 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 1 Acta Informatica 1 Artificial Intelligence 1 Communications in Algebra 1 Communications in Mathematical Physics 1 Israel Journal of Mathematics 1 Journal of Statistical Physics 1 Algebra Universalis 1 Annales de l’Institut Fourier 1 Compositio Mathematica 1 Fuzzy Sets and Systems 1 Geometriae Dedicata 1 Kybernetika 1 Publications of the Research Institute for Mathematical Sciences, Kyoto University 1 Semigroup Forum 1 Synthese 1 Bulletin of the Section of Logic 1 Topology and its Applications 1 Ergodic Theory and Dynamical Systems 1 Linear Algebra and its Applications 1 Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI 1 Journal of Algebraic Combinatorics 1 Acta Mathematica et Informatica Universitatis Ostraviensis 1 Theory of Computing Systems 1 Journal of the ACM 1 Journal of the European Mathematical Society (JEMS) 1 The Journal of Logic and Algebraic Programming 1 Central European Journal of Mathematics 1 Journal of Homotopy and Related Structures 1 Journal of Topology and Analysis 1 Journal of $$K$$-Theory 1 The Review of Symbolic Logic 1 Science China. Mathematics 1 European Journal for Philosophy of Science 1 Journal of Theoretical Biology 1 Mathematics 1 Nonlinear Analysis. Theory, Methods & Applications 1 Higher Structures
all top 5

#### Cited in 32 Fields

 336 Mathematical logic and foundations (03-XX) 305 Computer science (68-XX) 73 Category theory; homological algebra (18-XX) 40 Group theory and generalizations (20-XX) 16 Order, lattices, ordered algebraic structures (06-XX) 14 Algebraic topology (55-XX) 11 Manifolds and cell complexes (57-XX) 10 Information and communication theory, circuits (94-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 Combinatorics (05-XX) 7 Quantum theory (81-XX) 5 General algebraic systems (08-XX) 5 Associative rings and algebras (16-XX) 4 General topology (54-XX) 3 Algebraic geometry (14-XX) 3 Biology and other natural sciences (92-XX) 2 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Nonassociative rings and algebras (17-XX) 1 $$K$$-theory (19-XX) 1 Topological groups, Lie groups (22-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Functional analysis (46-XX) 1 Geometry (51-XX) 1 Convex and discrete geometry (52-XX) 1 Differential geometry (53-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Mechanics of particles and systems (70-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Operations research, mathematical programming (90-XX)