Person. Luís Caires Full Professor of Science and Methodology of Programming · University of Lisbon · luiscaires.org · 0000-0002-3215-6734 PhD advisorLuís Monteiro PhD studentsBernardo Toninho PhDUniversidade Nova de Lisboa Papers Dependent session types via intuitionistic linear type theory toninho-2011-dependentPPDP · 2011 DOI Session Types as Intuitionistic Linear Propositions caires-2010-sessionCONCUR · 2010 DOI