Yves Guiraud

Chargé de recherche
INRIA Paris, équipe-projet πr²
IRIF, équipe PPS
Université Paris 7

Contact

Bât. Sophie Germain, bureau 3010
yves.guiraud@irif.fr
Téléphone : 01.57.27.94.29

Adresse postale

IRIF, équipe PPS
Université Paris 7, case 7014
75205 Paris Cedex 13

Articles

Mémoires

Logiciels

Divers

Étudiants

Cyrille Chenavier, doctorant, avec Philippe Malbos, thèse soutenue le 9 décembre 2016
Maxime Lucas, doctorant, avec Pierre-Louis Curien

Groupe de travail

Catégories supérieures, polygraphes et homotopie

Actions collectives

ANR Cathre (Catégories, homotopie et réécriture)
IDEX SPC Focal (Formalisation du calcul algébrique)
GDR Topologie Algébrique et Applications
GDR Informatique Mathématique

Rencontres

Categories in Homotopy and Rewriting, 25-29 septembre 2017, CIRM, Marseille
Journées nationales Géocal-LAC, 28-29 novembre 2016, Paris
Higher-Dimensional Rewriting and Applications, 25-26 juin 2016, Porto
Higher-Dimensional Rewriting and Applications, 28-29 juin 2015, Varsovie
Homotopy in Concurrency and Rewriting, 9-12 juin 2015, Saclay
Mathematical Structures of Computation, 13 janvier – 14 février 2014, Lyon
Logic and Interactions, 30 janvier – 2 mars 2012, CIRM, Marseille
Operads and Rewriting, 2-4 novembre 2011, Lyon

Notes d'exposés

Introduction à la théorie de Squier (fr)
Présentations cohérentes des monoïdes d'Artin (fr)
Théorie de Squier et résolutions polygraphiques (fr, en)
Catégories supérieures de type de dérivation fini (fr, en)
Programmes polygraphiques (fr, en)
Polygraphes, réécriture et logique (fr)
Les trois dimensions des démonstrations (fr, en)
Réécriture en dimension supérieure (en)
Polygraphes et réécriture de termes (fr, en)

Illustrations

Démonstrations en 3D : 1, 2, 3, 4, 5, 6, 7, 8, 9, 10
Films (par Guillaume Bonfante) : 1, 2, 3