Sandra Alves

Registered user since Wed 13 Mar 2019

Name: Sandra Alves

Country: Portugal

Affiliation: University of Porto

Personal website: http://www.dcc.fc.up.pt/~sandra

Research interests: Linearity, Lambda Calculus, Type Theory

Contributions

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