Registered user since Sat 7 Nov 2020
Name: Fosco Loregian
Affiliation: Tallinn University of Technology
Personal website: http://tetrapharmakon.github.io
GitHub: https://github.com/httpsgithubcomtetrapharmakon
Research interests: Category theory
Contributions
| POPL 2021 | Author of Functorial Semantics for Partial Theories within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile