-
27
pages
-
Français
-
Documents
Description
Lambda calculs et catégoriesPaul-André MellièsMaster Parisien de Recherche en InformatiqueEcole Normale Supérieure1Plan de la séance1 – Diagrammes de cordes2 – Adjonctions2Première partieDiagrammes de cordesUne notation topologique pour les 2-cellules3
-
Publié par
-
Langue
Français