François Métayer

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6198052	2024-02-20	Paper
Polygraphs: From Rewriting to Higher Categories	2023-12-01	Paper
Strict $\omega$-categories are monadic over polygraphs	2016-10-11	Paper
The Brown-Golasiński model structure on strict $\infty $-groupoids revisited	2011-05-17	Paper
A folk model structure on omega-cat	2010-05-26	Paper
Polygraphic resolutions and homology of monoids	2009-03-30	Paper
Cofibrant objects among higher-dimensional categories	2008-02-22	Paper
Cofibrant complexes are free	2007-01-25	Paper
State monads and their algebras	2004-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q4707051	2003-06-05	Paper
Implicit exchange in multiplicative proofnets	2001-07-17	Paper
Polynomial equivalence among systems LLNC, LLNC$_a$ and LLNC$_0$	2000-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4222838	1998-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q4842979	1995-11-28	Paper
Homology of proof-nets	1994-09-20	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: François Métayer