An extensible equality checking algorithm for dependent type theories AP Komel, A Bauer Logical Methods in Computer Science 18, 2022 | 8 | 2022 |
Equality checking for general type theories in andromeda 2 A Bauer, PG Haselwarter, A Petković Mathematical Software–ICMS 2020: 7th International Conference, Braunschweig …, 2020 | 6 | 2020 |
META-ANALYSIS OF TYPE THEORIES WITH AN APPLICATION TO THE DESIGN OF FORMAL PROOFS AP Komel | 1* | |
On equality checking for general type theories: Implementation in Andromeda 2 A Bauer, PG Haselwarter, A Petković EUTYPES-TYPES 2020-Abstracts, 0 | 1* | |
An extensible equality checking algorithm for dependent type theories A Bauer, AP Komel arXiv preprint arXiv:2103.07397, 2021 | | 2021 |
Meta-analysis of Type Theories with an Application to the Design of Formal Proofs: Doctoral Thesis AP Komel A. Petković Komel, 2021 | | 2021 |
Computing fixed points of monotone piecewise linear functions: master thesis A Petković [A. Petković], 2017 | | 2017 |
Kompaktno dominiran prostor je homotopsko ekvivalenten kompaktu: delo diplomskega seminarja A Petković [A. Petković], 2015 | | 2015 |
The Andromeda proof assistant A Bauer, G Gilbert, PG Haselwarter, A Petković, M Pretnar, CA Stone | | |
Equality checking for dependent type theories A Bauer, A Petković | | |