URN:NBN:SI:DOC-L53L4RNP2021Haselwarter, Philipp Georgdocuments/doc/L/URN_NBN_SI_doc-L53L4RNP_001.pdfdocuments/doc/L/URN_NBN_SI_doc-L53L4RNP_001.txthttps://repozitorij.uni-lj.si/IzpisGradiva.php?id=134439199 str., 30 cmdoktorska dela94707203https://repozitorij.uni-lj.si/IzpisGradiva.php?id=134439URN:NBN:SI:doc-L53L4RNPengP. G. Haselwartervisokošolska delaInCalgebraic theoryalgebrajska teorijacomputational effectsdependent type theoryDisertacijedokazovalni pomočnikMatematična logikamatematikamathematicsmetajezikmetalanguageodvisna teorija tipovproof assistantračunski učinki