Name:Miguel Ramos

Country:Portugal

Affiliation:Universidade do Porto, LIACC; Université Paris Cité, IRIF, CNRS

Research interests:intersection types; computational effects; relational models; quantitative semantics;