Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Tarmo Uustalu

Registered user since Sat 21 Aug 2021

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.

Country:Iceland
Affiliation:Reykjavik University
Personal website: http://cs.ioc.ee/~tarmo/

Contributions

Show activities from other conferences

ICFP 2019-profile
View general profile