Utilisateur·rice
Yves • Lafont
Professeur (PR) • Affiliation : Aix-Marseille Université (AMU)
Location : Luminy • Office : 227 • Office Floor : 2 •
AGLR-LDP (équipe Logique de la Programmation)
User group(s) :
User Thematic(s) :
- Theoretical computer science, computability
- Logic
Publications HAL
2013/01 – Diagram rewriting and operads2010/06 Advances in Mathematics – A folk model structure on omega-cat
2009/06 Journal of Pure and Applied Algebra – Polygraphic resolutions and homology of monoids
2007/12 – A folk model structure on omega-cat
