1 - 2 / 2 1 |
1. Effective metatheory for type theory Philipp Georg Haselwarter, 2022, doctoral dissertation Keywords: dependent type theory, algebraic theory, proof assistant, metalanguage, computational effects |
2. Finitary type theories with and without contexts Philipp Georg Haselwarter, Andrej Bauer, 2023, original scientific article Keywords: dependent type theory, context-free type theory, formal meta-theory, proof assistants |