
Registered user since Wed 1 Jul 2015
Name: Danel Ahman
Country: Estonia
Affiliation: Inria Paris
Personal website: http://danel.ahman.ee
Research interests: Category theory, Type theory, Logic, Computational effects
Contributions
POPL 2018-profile
View general profile
View general profile