Logical Foundations of Session Types

Work in progress text.

References

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

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

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
[PDF]