Logical Foundations of Session Types

Work in progress text.


Linear logic propositions as session types
Luís Caires, Frank Pfenning, and Bernardo Toninho
Mathematical Structures in Computer Science (MSCS), 2016

A Logical Foundation for Session-based Concurrent Computation
Bernardo Toninho
PhD thesis, Carnegie Mellon University and NOVA University of Lisbon, 2015

Behavioral Polymorphism and Parametricity in Session-Based Communication
Luís Caires, Jorge A. Pérez, Frank Pfenning, and Bernardo Toninho
Programming Languages and Systems - European Symposium on Programming (ESOP), 2013