Not registered as user yet

Name:Fabrício S. Paranhos
Affiliation:Universidade Federal de Goiás

Contributions

CoqPL 2022 Towards a Formalization of Nominal Sets in Coq
Show activities from other conferences

Using general profile