Yves Lafont

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6198052	2024-02-20	Paper
Diagram rewriting and operads	2013-12-12	Paper
A folk model structure on omega-cat	2010-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q3629661	2009-06-02	Paper
Polygraphic resolutions and homology of monoids	2009-03-30	Paper
Diagram Rewriting for Orthogonal Matrices: A Study of Critical Peaks	2008-08-28	Paper
Algebra and geometry of rewriting	2007-12-06	Paper
Soft linear logic and polynomial time	2004-08-06	Paper
Towards an algebraic theory of Boolean circuits.	2003-10-15	Paper
Homology of Gaussian groups.	2003-06-26	Paper
The finite model property for various fragments of linear logic	1998-10-08	Paper
Interaction combinators	1997-09-28	Paper
The undecidability of second order multiplicative linear logic	1996-12-05	Paper
The undecidability of second order linear logic without exponentials	1996-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q4842976	1996-01-30	Paper
A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier)	1995-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q3138543	1993-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4029341	1993-03-29	Paper
Church-Rooser property and homology of monoids	1992-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q3480250	1989-01-01	Paper
The linear abstract machine	1988-01-01	Paper
Corrigenda to: ``The linear abstract machine	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3791120	1987-01-01	Paper

This page was built for person: Yves Lafont