Yves Lafont

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Orientals as free algebras	2024-02-20	Paper
Diagram rewriting and operads	2013-12-12	Paper
A folk model structure on omega-cat Advances in Mathematics	2010-05-26	Paper
scientific article; zbMATH DE number 5560346 (Why is no real title available?)	2009-06-02	Paper
Polygraphic resolutions and homology of monoids Journal of Pure and Applied Algebra	2009-03-30	Paper
Diagram Rewriting for Orthogonal Matrices: A Study of Critical Peaks Rewriting Techniques and Applications	2008-08-28	Paper
Algebra and geometry of rewriting Applied Categorical Structures	2007-12-06	Paper
Soft linear logic and polynomial time Theoretical Computer Science	2004-08-06	Paper
Towards an algebraic theory of Boolean circuits. Journal of Pure and Applied Algebra	2003-10-15	Paper
Homology of Gaussian groups. Annales de l’institut Fourier	2003-06-26	Paper
The finite model property for various fragments of linear logic Journal of Symbolic Logic	1998-10-08	Paper
Interaction combinators Information and Computation	1997-09-28	Paper
The undecidability of second order multiplicative linear logic Information and Computation	1996-12-05	Paper
The undecidability of second order linear logic without exponentials Journal of Symbolic Logic	1996-10-07	Paper
scientific article; zbMATH DE number 786495 (Why is no real title available?)	1996-01-30	Paper
A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier) Journal of Pure and Applied Algebra	1995-07-03	Paper
scientific article; zbMATH DE number 431767 (Why is no real title available?)	1993-11-11	Paper
scientific article; zbMATH DE number 130889 (Why is no real title available?)	1993-03-29	Paper
Church-Rooser property and homology of monoids Mathematical Structures in Computer Science	1992-09-26	Paper
scientific article; zbMATH DE number 4150464 (Why is no real title available?)	1989-01-01	Paper
The linear abstract machine Theoretical Computer Science	1988-01-01	Paper
Corrigenda to: ``The linear abstract machine Theoretical Computer Science	1988-01-01	Paper
scientific article; zbMATH DE number 4055576 (Why is no real title available?)	1987-01-01	Paper

Research outcomes over time

This page was built for person: Yves Lafont