1 - 3 / 3 1 |
1. Meta-analysis of type theories with an application to the design of formal proofs Anja Petković Komel, 2021, doktorsko delo/naloga Ključne besede: dependent type theory, algebraic theory, proof assistant, type-theoretic elaboration equality checking |
2. Effective metatheory for type theory Philipp Georg Haselwarter, 2022, doktorsko delo/naloga Ključne besede: dependent type theory, algebraic theory, proof assistant, metalanguage, computational effects |
3. Finitary type theories with and without contexts Philipp Georg Haselwarter, Andrej Bauer, 2023, izvirni znanstveni članek Ključne besede: dependent type theory, context-free type theory, formal meta-theory, proof assistants |