Logical Foundations of Concurrent Computation

Course given at the ECI 2026, the 39th School of Informatic Sciences, Buenos Aires, Argentina (July 27 - 31, 2026).

Slides

  • Monday: Introduction to Processes, Session Types, and Intuitionistic Linear Logic [pdf]
  • Tuesday: Process Semantics, Propositions as Sessions: Statics and Dynamics [pdf]
  • Wednesday [pdf]
  • Thursday [pdf]
  • Friday [pdf]

Monday:

  • Wadler: “A Taste of Linear Logic” [link]
  • Wadler: “Propositions as Types” [link]

Tuesday:

  • Caires, Pfenning, and Toninho: “Towards Concurrent Type Theory” [link]
  • Caires, Pfenning, and Toninho: “Linear Logic Propositions as Session Types” [link]