Luís Caires, Frank Pfenning, Bernardo Toninho. Towards concurrent type theory. In Benjamin C. Pierce, editor, Proceedings of TLDI 2012: The Seventh ACM SIGPLAN Workshop on Types in Languages Design and Implementation, Philadelphia, PA, USA, Saturday, January 28, 2012. pages 1-12, ACM, 2012. [doi]
Abstract is missing.