Sandra Alves

Registered user since Wed 13 Mar 2019

Name:Sandra Alves
Country:Portugal
Affiliation:University of Porto
Research interests:Linearity, Lambda Calculus, Type Theory

Contributions

TyDe 2019 Committee Member in Program Committee within the TyDe 2019-track