@inbook{caires-2010-session, title={Session Types as Intuitionistic Linear Propositions}, ISBN={9783642153754}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-642-15375-4_16}, DOI={10.1007/978-3-642-15375-4_16}, booktitle={CONCUR 2010 - Concurrency Theory}, publisher={Springer Berlin Heidelberg}, author={Caires, Luís and Pfenning, Frank}, year={2010}, pages={222–236} }