Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Tarmo Uustalu

Not registered as user yet

Name:Tarmo Uustalu

My research interests include structural proof theory and type theory (deductive systems and typed term calculi for intuitionistic and related logics), algebraic and categorical logic, semantics of programming languages and program logics.

Affiliation:Reykjavik University, Tallinn University of Technology
Personal website:http://cs.ioc.ee/~tarmo/


HOPE 2020 Merging coeffect production into effect handling
Show activities from other conferences

ICFP 2020-profile
View general profile