área de pesquisa
- "Some algebraic and logical aspects of C∞-Rings"
- Algebras of expanded structures
- Cartesian closed exact completions in topology
- Categorias relacionais para computação quântica
- Compactly Generated Spaces and Quasi-spaces in Topology
- Eduardo Nahum Ochs
- Generalized Enriched Categories: exponentiation and injectivity
- Heber Cristina Teixeira
- Ibrahim Assem
- Jean Cerqueira Berni
- José Vitor Paiva Miranda de Siqueira
- Maico Felipe Silva Ribeiro
- On generalized equilogical spaces
- Pseudomonads and Descent
- Recognition of connective commutative algebra spectra through an idempotent quasiadjunction
- Synthetic Differential Geometry
- The Dialectica Categories
- Willian Goulart Gomes Velasco
- Willian Ribeiro Valencia da Silva
- Álgebra homológica e cohomologia de grupos