Master Parisien de Recherche en Informatique
Modèles des langages de programmation
Cours M2.2
Paul-André Melliès
First lecture -- general introduction to the course
Second lecture -- cartesian closed categories and domains
Third lecture -- monoidal closed categories and coherence spaces
In order to train yourself -- the fixpoint operator in the category of coherence spaces
Past exams -- adjunctions, distributivity laws, configurations spaces and word automata
Additional references for this part of the course
You will find a comprehensive study of the categorical models of linear logic in my
lecture notes
published in the series
Panoramas et Synthèses
of the SMF.
Although I will only cover a fragment of these notes during the course,
I would advise the students to read the chapters 1, 2, 3, 5 and 6.
Another useful reference is provided by the book Domains and Lambda-Calculi by Roberto Amadio and Pierre-Louis Curien.
Thomas Ehrhard
Pierre-Louis Curien
Equipe pédagogique
Quelques liens utiles