Master Parisien de Recherche en Informatique

Lambda-calculs et catégories
Cours M1.20

Associahedre


Cours Magistral


Travaux Dirigés


Références bibliographiques du cours


Quelques pointeurs utiles sur la théorie des catégories

If you want to know more on the unifying role of category theory in various fields of mathematics and computer science, you are welcome to visit this dedicated blog: If you are interested in the recent connection between homotopy theory and type theory, a natural place to have a look at is this website: You may also have a look at these books.
Articles et pointeurs


A selection (always in development) of papers and surveys on the topic:

Calendrier des soutenances de cette année

Lundi 9 janvier 2017 en salle U/V

  • 9h -- 9h30 Leo Colisson
    Benoit Valiron: Generating reversible circuits from higher-order functional programs.

  • 9h30 -- 10h Mihai Dusmanu
    Zdenek Hedrlin et Joachim Lambek: How comprehensive is the category of semigroups?

  • 10h -- 10h30 Loïc Pujet
    Greg Friedman: an elementary illustrated introduction to simplicial sets

  • Lundi 16 janvier 2017 en salle U/V

  • 9h -- 9h30 Nicolas Assouad
    Mogens Nielsen, Glynn Winskel: Models for concurrency.

  • 9h30 -- 10h Noémie Fong
    Eugenio Moggi: Computational lambda-calculus and monads.

  • 10h -- 10h30 Nathanaël Courant
    Jean-Louis Krivine: Typed lambda-calculus in classical Zermelo-Fraenkel set theory.

  • 10h30 -- 11h Pause

  • 11h -- 11h30 Jacques-Pascal Deplaix
    Thérèse Hardin, Luc Maranget et Bruno Pagano: Functional runtime systems within the lambda-sigma calcul.

  • 11h30 -- 12h Gaëtan Douéneau
    Bret Tilson: Categories as algebra.

  • 12h -- 12h30 Rebecca Zucchini
    Julianna Szido: le lambda-calcul vu comme monade initiale.

  • Lundi 16 janvier 2017 après-midi

  • 14h --14h30 Rémy Jézéquel
    Yves Lafont, Alain Prouté: Church-Rosser property and homology of monoids.

  • 14h30 --15h Ismail Lahkim Bennani
    Samson Abramsky et Guy McCusker: Game Semantics.

  • 15h --15h30 Martin Pépin
    André Joyal: Une théorie combinatoire des séries formelles.

  • Lundi 23 janvier 2017 en salle U/V

  • 9h -- 9h30 Rémi Oudin
    Olivier Danvy, Jürgen Koslowski, Karoline Malmkjær: Compiling Monads.

  • 9h30 -- 10h Aliaume Lopez
    Gordon Plotkin, Alex Simpson: Complete Axioms for Categorical Fixed-point Operator.

  • 10h -- 10h30 Noël Nadal
    Joachim Kock: Notes on polynomial functors

  • 10h30 -- 11h Pause

  • 11h -- 11h30 Baptiste Pauget
    Thérèse Hardin, Luc Maranget et Bruno Pagano: Functional runtime systems within the lambda-sigma calcul.

  • 11h30 -- 12h Chana Weil-Kennedy
    Marcelo Fiore, Nicola Gambino, Martin Hyland, Glynn Winskel : The Cartesian Closed Bicategory of Generalized Species of Structures

  • 12h -- 12h30 Felix Loubaton
    Benno van den Berg and Richard Garner: Topological and Simplicial Models of identity types.
  • Lundi 23 janvier 2017 après-midi

  • 14h --14h30 Emilie Grienenberger
    Barnaby Hilken: towards a proof-theory of rewriting: the simply-typed 2-lambda-calculus.

  • 14h30 -- 15h Alexis Alaouar
    R. D. Arthan: A traced monoidal category of relations.

  • 15h -- 15h30 Johan Girardot
    Yves Lafont, Alain Prouté: Church-Rosser property and homology of monoids.

  • 16h30 --17h Emmanuel Arrighi
    Julianna Szido: le lambda-calcul vu comme monade initiale.


    Quelques liens utiles

    Diplôme de l'Ecole Normale Supérieure

    Master Parisien de Recherche en Informatique

    Paul-André Melliès

    Samuel Mimram