Théorie des types et réalisabilité

Date et lieu : le mercredi à 14h, salle 1007, Sophie Germain

Responsable : Hugo Herbelin et Paul-André Melliès

  • Mercredi 14 octobre 2015 : Danko Ilik, The exp-log normal form of formulas
  • Mercredi 16 septembre 2015 :
    • à 14h : Alexandre Miquel, An axiomatic presentation of forcing (or: forcing for the dummies)
    • à 15h : Nicolas Tabareau, Vers un analogue de l'axiome de Giraud en HoTT
  • Mercredi 9 septembre 2015 : Andrej Bauer, A sound and complete language for type theory with equality reflection