conf.researchr.org / Daniel Ventura
Not registered as user yet
Name:Daniel Ventura
Affiliation:Universidade Federal de Goiás
Contributions
CoqPL 2022 | Author of Towards a Formalization of Nominal Sets in Coq within the CoqPL-track |
Not registered as user yet
Contributions
CoqPL 2022 | Author of Towards a Formalization of Nominal Sets in Coq within the CoqPL-track |