Registered user since Mon 4 Jan 2021

Name:Bernardo Almeida
Affiliation:LASIGE, Faculty of Sciences, University of Lisbon

Contributions

WITS 2022 Deciding type equivalence with simple grammars
Show activities from other conferences

Using general profile