Master Parisien de Recherche en Informatique

Lambda-calculs et catégories
Cours M1.20

Associahedre


Cours Magistral


Travaux Dirigés


Références bibliographiques du cours


Quelques pointeurs utiles sur la théorie des catégories

If you want to know more on the unifying role of category theory in various fields of mathematics and computer science, you are welcome to visit this dedicated blog: If you are interested in the recent connection between homotopy theory and type theory, a natural place to have a look at is this website: You may also have a look at these books.
Articles et pointeurs


A selection (always in development) of papers and surveys on the topic:

Calendrier des soutenances de cette année

Les soutenances en ligne ont lieu ici: Lien Zoom avec pour mot de passe: pi=314

Le mardi 15 janvier en salle Emmy Noether à partir de 8h30.

Le vendredi 19 janvier en salle Bourbaki à partir de 17h.

Le mercredi 24 janvier

Le vendredi 26 janvier

Le lundi 29 janvier

Le vendredi 2 février

Le vendredi 16 février

Le lundi 19 février

Le vendredi 23 février


Quelques liens utiles

Diplôme de l'Ecole Normale Supérieure

Master Parisien de Recherche en Informatique

Paul-André Melliès

Samuel Mimram