Yves • Lafont
Professeur (PR) • Affiliation : Aix-Marseille Université (AMU)
Site : Luminy • Bureau : 227 • Etage du bureau : 2 •
AGLR-LDP (équipe Logique de la Programmation)
Groupe(s) scientifiques(s) de l'utilisateur :
Rechercher mots clef :
PRO PROP N-category Confluence Oprade Homology Monoid
Thématiques scientifiques :
- Theoretical computer science, computability
- Logic
Publications HAL
2013/01
-
Diagram rewriting and operads2010/06
Advances in Mathematics -
A folk model structure on omega-cat2009/06
Journal of Pure and Applied Algebra -
Polygraphic resolutions and homology of monoids2007/12
-
A folk model structure on omega-cat