Delia KESNER kesner@irif.fr www.irif.fr/˜kesner
Linear Logic and Logical Paradigms of Computation
Delia KESNER kesner@irif.fr www.irif.fr/˜kesner
IRIF (CNRS and Universit ´e de Paris)
Delia KESNER kesner@irif.fr www.irif.fr/˜kesner
Planning of the Course
Course 1: Proof-Nets (PN)
Course 2: Explicit Substitution (ES) Calculi Course 3: Translating ES to PN
Course 4: Resource Calculi inspired from MELL PN Course 5: Non-Idempotent Intersection Types Exam: 15 December 2021? or January 2022?