Scholar
Daniel Ventura
Google Scholar ID: Jd4ovT4AAAAJ
Professor de Ciência da Computação, Universidade Federal de Goiás
Type Theory
Proof Theory
Logic and Semantics of Computations
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
153
H-index
5
i10-index
3
Publications
20
Co-authors
3
list available
Publications
1 items
Nominal Sets in Rocq
2025
Cited
0
Co-authors
1 total
Mauricio Ayala Rincon
Professor of Computer Science and Mathematics, Universidade de Brasilia
