Registered user since Sat 12 Apr 2025
Name:Sergey Goncharov
Country:United Kingdom
Affiliation:School of Computer Science, University of Birmingham
Personal website: https://sergey-goncharov.org/
Research interests:Category theory, Semantics, Computational Effects, Coalgebra
Contributions
Using general profile