Accueil
Connexion
DENIF –
Documents d’Enseignement Numériques en Informatique Fondamentale
Thèmes
Cursus
Enseignants
Modèles, domaines, catégories, jeux
Thème :
Sémantique
–
Cursus :
MPRI - M2
,
DEA SPP
2006 - 2007
Catégories
Paul-André Melliès
Notes de cours (seulement une partie sera couverte)
Article récent et introductif pour les curieux
Transparents 1 : catégories cartésiennes
Transparents 2 : espaces de cohérence
Transparents 3 : catégories monoidales fermées, fonctions stables et construction exponentielle