Research areas: structural proof theory, lambda-calculus, type theory, intuitionistic and other logics, proof search, normalisation, automated theorem proving, proof development systems.
Publications
Mathematical Structures in Computer Science | 2019
Leibniz International Proceedings in Informatics, LIPIcs | 2019
Journal of Logic and Computation | 2018
Tarmo Uustalu
Leibniz International Proceedings in Informatics, LIPIcs | 2018
Leibniz International Proceedings in Informatics, LIPIcs | 2017