In proceedings details

Session Types as Intuitionistic Linear Propositions

Sep 2010

Organization:

Publisher: Springer-Verlag

Authors: Luis Caires, Frank Pfenning

Editors:

Series:

Volume: 0

ISSN:

ISBN:

Url: http://concur2010.inria.fr/accepted-papers

Notes:

Bibtex Key:

DOI:

Pages: 0 to 0

Publication Date: 1 Sep 2010

Publication File: