Registered user since Fri 5 Dec 2025
Name:Naïm Camille Favier
Country:Sweden
Affiliation:Chalmers University of Technology and University of Gothenburg
Personal website: https://monade.li
GitHub: https://github.com/ncfavier
Research interests:type theory
Contributions
Using general profile