Write a Blog >>
APLAS 2020
Mon 30 November - Wed 2 December 2020
Tarmo Uustalu

Registered user since Sat 21 Aug 2021

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
Personal website:http://cs.ioc.ee/~tarmo/


APLAS 2020 Algebraic and coalgebraic perspectives on interaction laws
Show activities from other conferences

APLAS 2020-profile
View general profile