Registered user since Thu 9 Nov 2023
Name:Ambrus Kaposi
Country:Hungary
Affiliation:ELTE Eötvös Loránd University, Budapest, Hungary
Personal website: http://akaposi.web.elte.hu
GitHub: https://github.com/akaposi
Research interests:type theory
Contributions
Using general profile