Registered user since Sat 21 Aug 2021
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.
|ETAPS 2019|| ETAPS Steering committee meeting|
Publicity in Executive Board
|Show activities from other conferences|
View general profile