Registered user since Thu 11 Jul 2024
Name:Eridan Domoratskiy
Affiliation:Saint-Petersburg State University
Personal website: https://byprogminer.ru
GitHub: https://github.com/ProgMiner
Research interests:Type Theory, Relational Programming
Contributions
2026
Using general profile