Registered user since Wed 1 Jul 2015
Name:Danel Ahman
Country:Estonia
Affiliation:University of Tartu
Personal website: https://danel.ahman.ee
Research interests:Category theory, Type theory, Logic, Computational effects, Effect handlers
Contributions
Using general profile