Utilisateur·rice

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 operads

2010/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


Retour en haut 

Secured By miniOrange