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
2008 - 2009
Modèles des langages de programmation : cours
Paul-André Melliès
Introduction au cours
Première partie: catégories cartésiennes
Deuxième partie: espaces de cohérence
Troisième partie: catégories monoidales fermées, fonctions stables et construction exponentielle
(Modèles des langages de programmation : TDs
Paul-André Melliès
TD 1 : sur la notion de catégorie cartésienne fermée
TD1 : correction partielle
TD 2 : construction d'une catégorie monoidale fermée
TD 2 : une décomposition de la modalité exponentielle des espaces de cohérence
TD 3 : une étude des égaliseurs dans la catégorie des espaces de cohérence (difficile)
TD 4 : la catégorie des graphes réflexifs du point de vue fonctoriel
TD 6 : jeux alternés
Domaines
Thomas Ehrhard
Notes de cours
Feuille de TD 1
Feuille de TD 2
2006 - 2007
Domaines
Antonio Bucciarelli
Introduction aux domaines
Quelques notions préliminaires
Cours 1
Cours 2
Cours 3
Cours 4
TD 1
TD 2
TD 2 correction
TD 3
TD 3 correction
TD 4
TD 4 correction
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
Sémantique des jeux
Russ Harmer
Slides de l'introduction
Notes du Cours
Introduction de Samson Abramsky
Notes sur les jeux de Conway
TD 1 avec correction
TD 2
TD 2 correction
TD 3
TD 3 correction
TD 4
TD 4 correction
Anciens examens
Anciens examens
Examen de DEA, Sémantique des Jeux, Avril 2001
Examen de DEA, cours de Sémantique des Jeux, Avril 2002 (première partie)
Examen de DEA, cours de Sémantique des Jeux, Avril 2002 (deuxième partie)
Examen Master Février 2005
2004 - 2005
Cours de sémantique des jeux
Olivier Laurent
Notes de cours
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)