Yves Guiraud

Chargé de recherche INRIA
Équipe PPS et équipe-projet πr²
Institut de Recherche en Informatique Fondamentale (IRIF)
Université Paris 7

Contact

Bâtiment Sophie Germain - Bureau 3010
yves.guiraud@pps.univ-paris-diderot.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
Maxime Lucas, doctorant, avec Pierre-Louis Curien

Groupes de travail

Catégories supérieures, polygraphes et homotopie
Topologie algébrique et calcul (à Lyon)

Actions collectives

ANR Cathre (Catégories, Homotopie et Réécriture)
IDEX SPC Focal (Formalisation du calcul algébrique)
GDR Topologie Algébrique et Applications

Congrès

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