ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Tarmo Uustalu

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.

Country: Iceland

Affiliation: Reykjavik University

Personal website: http://cs.ioc.ee/~tarmo/

Contributions

ICFP 2019Committee Member in External Review Committee within the Research Papers-track
Show activities from other conferences

Using general profile