Retour /Back Homotopie et égalité en théorie des types
Homotopy and Equality in Type Theory
30/05/2011 - 03/06/2011
Liste des participants / List of participants
Programme Organisateurs /
Organizer:
Yves LAFONT Aix-Marseille Université
I2M
Campus du Luminy - Case 907
13288 Marseille cedex 09, France
Laurent REGNIER Aix-Marseille Université
IML
Campus de Luminy, Case 907
13288 Marseille, France