Premier et deuxième cours : lambda-calcul et 2-catégories

Deuxième et troisième cours : diagrammes de cordes et adjonctions

Quatrième et cinquième cours : catégories monoidales

Sixième et septième cours : lambda-calcul simplement typé et catégories cartésiennes fermées

Huitième et neuvième cours : lambda-calcul avec effet de bord, monades fortes et monade d'état

Dixième cours: extensions de Kan et modules sur une monade

Onzième cours: distributeurs, constructions libres et monade d'états locaux

Douzième cours: fibrations et substitutions explicites

Travaux Dirigés no 1 -- produits cartésiens, action d'un monoide, ensembles simpliciaux.

Travaux Dirigés no 2 -- adjonctions, monade d'exception et monade de non-déterminisme.

Travaux Dirigés no 3 -- monade de non-déterminisme, monade engendrée par une adjonction, monades en Haskell, loi de distributivité entre monades.

Travaux Dirigés no 4 -- catégories cartésiennes fermées, lambda-calcul simplement typé, théorème du paramètre.

Travaux Dirigés no 5 -- catégories monoïdales, catégories monoïdales fermées.

• Samson Abramsky, Guy McCusker: game semantics. [fichier pdf]
  
• Samson Abramsky, Guy McCusker: linearity, sharing and state: a fully abstract game semantics for Idealized Algol with active expressions. [fichier pdf]
  
• Pierre-Louis Curien: substitutions up to isomorphisms. [fichier pdf]
  
• Pierre-Louis Curien: category theory, a programming-language introduction. [fichier pdf]
  
• Marcelo Fiore, Nicola Gambino, Martin Hyland, Glynn Winskel: [fichier pdf]
  
• Greg Friedman: an elementary illustrated introduction to simplicial sets. [fichier pdf]
  
• Carsten Fuhrmann: direct models of the computational lambda-calculus. [fichier pdf]
  
• Nicola Gambino, Martin Hyland: well-founded trees and dependent polynomial functors. [fichier pdf]
  
• Richard Garner: two dimensional models of type theory. [fichier pdf]
  
• Dan Ghica: geometry of synthesis. [fichier pdf]
  
• Thérèse Hardin, Luc Maranget, Bruno Pagano: functional runtime systems within the lambda-sigma calculus. [fichier pdf]
  
• Russ Harmer, Martin Hyland, Paul-André Melliès: categorical combinatorics for innocent strategies. [fichier pdf]
  
• Barnaby Hilken: towards a proof-theory of rewriting: the simply-typed 2-lambda-calculus. [fichier pdf]
  
• Peter Hines, Philip Scott: conditional quantum iteration from categorical traces. [fichier pdf]
  
• Martin Hofmann: Syntax and Semantics of Dependent Types [fichier pdf]
  
• Martin Hyland: the effective topos. [fichier pdf]
  
• Martin Hyland, Paul Blain Levy, Gordon Plotkin, John Power: combining algebraic effects with continuations. [fichier pdf]
  
• André Joyal. Une théorie combinatoire des séries formelles. Advances in Mathematics, 42(1) :1 1981.
  
• André Joyal, Ross Street, Dominic Verity: traced monoidal categories. [fichier pdf]
  
• Joachim Kock: notes on polynomial functors. [fichier pdf]
  
• Paul-André Melliès: categorical semantics of linear logic. [fichier pdf]
  
• Paul-André Melliès: functorial boxes in string diagrams. [fichier pdf]
  
• Paul-André Melliès: the true concurrency of innocence. [fichier pdf]
  
• Eugenio Moggi: computational lambda-calculus and monads. [fichier pdf]
  
• Luke Ong: on model-checking trees generated by higher-order recursion schemes. [fichier pdf]
  
• Andy Pitts: polymorphism is set-theoretic, constructively. [fichier pdf]
  
• Gordon Plotkin, John Power: computational effects determine monads. [fichier pdf] [erratum]
  
• RAG Seely: categorical semantics for higher order polymorphic lambda calculus. [fichier pdf]
  
• RAG Seely: modeling computations: a 2-categorical framework. [fichier pdf]
  
• Julianna Szido: le lambda-calcul vu comme monade initiale. [fichier pdf]
• Glynn Winskel, Mogens Nielsen: models for concurrency. [fichier pdf]

• 9h30 - 10h : Alice Jacquot
  André Joyal. Une théorie combinatoire des séries formelles.
  
  
• 10h - 10h30 : Edouard Bonnet
  Sémantique des jeux.
  
  
• 10h - 11h30 : Benjamin Girault
  Glynn Winskel, Mogens Nielsen: models for concurrency.
  
  
• 11h30 - 12h : Silvain Rideau
  Martin Hyland: the effective topos.
  
  
• 12h - 12h30 : Irène Waldspurger
  Greg Friedman: an elementary illustrated introduction to simplicial sets.
  
  
• 14h - 14h30 : Nathanaël François
  Samson Abramsky, Guy McCusker: game semantics.
  
  
• 14h30 - 15h : Benoit Barbot
  Thérèse Hardin, Luc Maranget, Bruno Pagano: functional runtime systems within the lambda-sigma calculus.

• 9h30 - 10h : Lionel Rieg
  Gordon Plotkin, John Power: computational effects determine monads.
  
  
• 10h - 10h30 : Charles Grellois
  Luke Ong: on model-checking trees generated by higher-order recursion schemes.
  
  
• 10h30 - 11h : Benjamin Butin
  Eugenio Moggi: computational lambda-calculus and monads.
  
  
• 11h - 11h30 : Marc Bagnol
  Sémantique des jeux
  
  
• 11h30 - 12h : Daniel Pasaila
  Sémantique des jeux
  
  
• 12h - 12h30 : Nadime Francis
  Barnaby Hilken: towards a proof-theory of rewriting: the simply-typed 2-lambda-calculus.
  
  
• 14h - 14h30 : Rémi Tuyeras
  Marcelo Fiore, Nicola Gambino, Martin Hyland et Glynn Winskel: The cartesian closed bicategory of generalised species of structures
  
  
• 14h30 - 15h : Nathanaël Fijalkow
  Sémantique des jeux
  
  
• 15h - 15h30 : Vincent Penelle
  Samson Abramsky, Guy McCusker: game semantics.
  
  
• 15h30 - 16h : Antoine Delignat-Lavaud
  Martin Hofmann: Syntax and Semantics of Dependent Types.
  
  

• 9h - 9h30 : Gabriel Scherer
  Martin Hoffman : Syntax and Semantics of Dependent Types.
  
  
• 9h30 - 10h : Flavien Breuvart
  John Baez et Aaron Lauda: higher-dimensional algebra V : 2-groups
  
  
• 10h - 10h30 : Tristan Roussel
  André Joyal, Ross Street, Dominic Verity: traced monoidal categories.
  
  
• 10h30 - 11h : Hamza Hajji
  Théorie des ensembles et théorie des catégories.
  
  
• 11h - 11h30 : Guillaume Claret
  Eugenio Moggi: computational lambda-calculus and monads.
  
  
• 11h30 - 12h : Mehdi Bouaziz
  
  
  

Diplôme de l'Ecole Normale Supérieure

Master Parisien de Recherche en Informatique

Paul-André Melliès

Samuel Mimram

The n-Category Café