Luís Caires Frank Pfenning Bernardo Toninho Towards concurrent type theory. 1-12 2012 TLDI http://doi.acm.org/10.1145/2103786.2103788 conf/tldi/2012 db/conf/tldi/tldi2012.html#CairesPT12