1 - 1 / 1 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 |