Not registered as user yet
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.
|ICFP 2019||Committee Member in External Review Committee within the Research Papers-track|
|Show activities from other conferences|
View general profile