×

zbMATH — the first resource for mathematics

Lafont, Yves

Compute Distance To:
Author ID: lafont.yves Recent zbMATH articles by "Lafont, Yves"
Published as: Lafont; Lafont, Y.; Lafont, Yves
External Links: MGP
Documents Indexed: 26 Publications since 1987, including 3 Books

Publications by Year

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
258
1989
Linear logic and lazy computation. Zbl 0647.03016
Girard, J. Y.; Lafont, Y.
57
1987
From proof-nets to interaction nets. Zbl 0830.03028
Lafont, Yves
42
1995
Soft linear logic and polynomial time. Zbl 1079.03057
Lafont, Yves
39
2004
Towards an algebraic theory of Boolean circuits. Zbl 1037.94015
Lafont, Yves
32
2003
A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier). Zbl 0832.20080
Lafont, Yves
26
1995
The linear abstract machine. Zbl 0648.68016
Lafont, Y.
22
1988
The finite model property for various fragments of linear logic. Zbl 0897.03010
Lafont, Yves
19
1997
Interaction combinators. Zbl 0882.68058
Lafont, Yves
19
1997
Homology of Gaussian groups. Zbl 1100.20036
Dehornoy, Patrick; Lafont, Yves
16
2003
A folk model structure on omega-cat. Zbl 1236.18017
Lafont, Yves; Métayer, François; Worytkiewicz, Krzysztof
11
2010
Church-Rosser property and homology of monoids. Zbl 0748.68035
Lafont, Yves; Prouté, Alain
11
1991
The undecidability of second order multiplicative linear logic. Zbl 0852.03003
Lafont, Yves; Scedrov, Andre
8
1996
Algebra and geometry of rewriting. Zbl 1132.68036
Lafont, Yves
6
2007
Penrose diagrams and 2-dimensional rewriting. Zbl 0789.18004
Lafont, Yves
6
1992
Penrose diagrams and rewriting in dimension 2. Zbl 0769.68060
Lafont, Y.
6
1992
The undecidability of second order linear logic without exponentials. Zbl 0866.03005
Lafont, Yves
5
1996
Polygraphic resolutions and homology of monoids. Zbl 1169.18002
Lafont, Yves; Métayer, François
4
2009
Corrigenda to: “The linear abstract machine”. Zbl 0659.68016
Lafont, Y.
4
1988
Diagram rewriting and operads. Zbl 1277.18004
Lafont, Yves
2
2011
A boundary version of Cartan-Hadamard and applications to rigidity. Zbl 1190.53031
Jean-François; Lafont
2
2009
Rewriting and the word problem. Zbl 1231.20031
Lafont, Yves
1
2009
Diagram rewriting for orthogonal matrices: A study of critical peaks. Zbl 1145.68451
Lafont, Yves; Rannou, Pierre
1
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.)
1
1995
Diagram rewriting and operads. Zbl 1277.18004
Lafont, Yves
2
2011
A folk model structure on omega-cat. Zbl 1236.18017
Lafont, Yves; Métayer, François; Worytkiewicz, Krzysztof
11
2010
Polygraphic resolutions and homology of monoids. Zbl 1169.18002
Lafont, Yves; Métayer, François
4
2009
A boundary version of Cartan-Hadamard and applications to rigidity. Zbl 1190.53031
Jean-François; Lafont
2
2009
Rewriting and the word problem. Zbl 1231.20031
Lafont, Yves
1
2009
Diagram rewriting for orthogonal matrices: A study of critical peaks. Zbl 1145.68451
Lafont, Yves; Rannou, Pierre
1
2008
Algebra and geometry of rewriting. Zbl 1132.68036
Lafont, Yves
6
2007
Soft linear logic and polynomial time. Zbl 1079.03057
Lafont, Yves
39
2004
Towards an algebraic theory of Boolean circuits. Zbl 1037.94015
Lafont, Yves
32
2003
Homology of Gaussian groups. Zbl 1100.20036
Dehornoy, Patrick; Lafont, Yves
16
2003
The finite model property for various fragments of linear logic. Zbl 0897.03010
Lafont, Yves
19
1997
Interaction combinators. Zbl 0882.68058
Lafont, Yves
19
1997
The undecidability of second order multiplicative linear logic. Zbl 0852.03003
Lafont, Yves; Scedrov, Andre
8
1996
The undecidability of second order linear logic without exponentials. Zbl 0866.03005
Lafont, Yves
5
1996
From proof-nets to interaction nets. Zbl 0830.03028
Lafont, Yves
42
1995
A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier). Zbl 0832.20080
Lafont, Yves
26
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.)
1
1995
Penrose diagrams and 2-dimensional rewriting. Zbl 0789.18004
Lafont, Yves
6
1992
Penrose diagrams and rewriting in dimension 2. Zbl 0769.68060
Lafont, Y.
6
1992
Church-Rosser property and homology of monoids. Zbl 0748.68035
Lafont, Yves; Prouté, Alain
11
1991
Proofs and types. Zbl 0671.68002
Girard, Jean-Yves; Taylor, Paul; Lafont, Yves
258
1989
The linear abstract machine. Zbl 0648.68016
Lafont, Y.
22
1988
Corrigenda to: “The linear abstract machine”. Zbl 0659.68016
Lafont, Y.
4
1988
Linear logic and lazy computation. Zbl 0647.03016
Girard, J. Y.; Lafont, Y.
57
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

Citations by Year