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
2004 - 2005
Cours de modèles et catégories
Paul-André Melliès
Cours 1. Modèle ensembliste du lambda-calcul ; Catégories cartésiennes fermées
Cours 2. Catégories monoidales closes; Dualité.
Cours 3 et 4. Présentation catégorique de l'exponentielle.
Article. Categorical models of linear logic revisited.
Article. Comparaison d'exponentielles en sémantique des jeux (Comparing hierarchies of types by forth-and-back translation)