On session types, linear logic, and observational equivalences

Luis Caires, New University of Lisbon, Portugal

Abstract intentionally left blank.