Person. Bernardo Toninho Associate Professor · University of Lisbon · ctp.di.fct.unl.pt/~btoninho · 0000-0002-0746-7514 · https://github.com/btoninho PhD advisorFrank Pfenning, Luís Caires PhDUniversidade Nova de Lisboa Master’sCarnegie Mellon University Papers Intuitionistic Metric Temporal Logic desa-2023-intuitionisticPPDP · 2023 DOI Dependent session types via intuitionistic linear type theory toninho-2011-dependentPPDP · 2011 DOI