Logical Foundations of Concurrent Computation

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

(last updated: Fri, July 31)

Slides

  • Monday: Introduction to Concurrent Processes, Session Types, and Intuitionistic Linear Logic [pdf]
  • Tuesday: Process Semantics, Propositions as Sessions: Statics and Dynamics [pdf]
  • Wednesday: Propositions as Sessions based on CLL, Three Languages with Asynchronous Communication [pdf]
  • Thursday: Client-server behaviors using the !-modality [pdf]
  • Friday: Non-determinism and Failures in Session Types [pdf]

If there is only one thing you can read, I highly recommend Robin Milner’s Turing lecture, which nicely overviews of the role of process calculi as foundational models of concurrency and interaction:

  • Milner: “Elements of Interaction” [link]

Monday

  • Wadler: “A Taste of Linear Logic” [link]
  • Wadler: “Propositions as Types” [link]
  • Parrow: “An Introduction to the pi-calculus” [link]

Tuesday

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

Wednesday

  • Wadler: “Propositions as Sessions” [link]
  • Van den Heuvel and Pérez: “A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing” [link]

Friday

  • Pérez and Caires: “Linearity, Control Effects, and Behavioural Types.” [link]
  • Paulus, Nantes-Sobrinho, Pérez: “Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)” [link]
  • Caires and Rocha: The CLASS programming language [link]
  • Vasconcelos et al: The FreeST programming language [link]

Relevant but Not Covered

  • Frumin et al.: “A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency” [link]
  • Yoshida and Gheri: “A Very Gentle Introduction to Multiparty Session Types” [link]