Not registered as user yet
Name: Tarmo Uustalu
Bio: 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||Author of Merging coeffect production into effect handling within the HOPE 2020-track|
|Show activities from other conferences|
View general profile