Person:973941

Available identifiers

zbMath Open lafont.yvesMaRDI QIDQ973941

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6198052	2024-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q2865985	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Yves Lafont