URN:NBN:SI:DOC-MGIH2EMW2021Petković Komel, Anjadocuments/doc/M/URN_NBN_SI_doc-MGIH2EMW_001.pdfdocuments/doc/M/URN_NBN_SI_doc-MGIH2EMW_001.txthttps://repozitorij.uni-lj.si/IzpisGradiva.php?id=134058doktorska delaXVI, 178 str., 30 cm91931395https://repozitorij.uni-lj.si/IzpisGradiva.php?id=134058URN:NBN:SI:doc-MGIH2EMWengA. Petković Komelvisokošolska delaInCalgebraic theoryalgebrajska teorijadependent type theoryDisertacijedokazovalni pomočnikdopolnitev teorij tipovlogiclogikaMatematična logikamatematikamathematicsodvisna teorija tipovpreverjanje enakostiproof assistanttype-theoretic elaboration equality checkingdoctoral thesisMeta-analysis of type theories with an application to the design of formal proofs