On session types, linear logic, and observational equivalences
Luis Caires, New University of Lisbon, Portugal
Abstract intentionally left blank.