1 - 4 / 4 1 |
1. Primerjava teorije množic in teorije tipov kot temeljev matematike Matej Jazbec, 2022, undergraduate thesis Keywords: teorija množic, teorija tipov, tip, izomorfizem, identični tip, izjave, aksiom univalentnosti, grupe, množice, konstruktivna logika, relevantnost dokazov, princip strukturne identitete |
2. Curry-Howardova korespondenca Neža Korenjak, 2022, undergraduate thesis Keywords: teorija tipov, lambda račun, intuicionistična logika, dedukcija, Curry-Howardova korepondenca |
3. Izdelava in uporaba dokazovalnega pomočnika BLAŽ ZUPANČIČ, 2023, undergraduate thesis Keywords: dokazovalni pomočnik, teorija tipov |
4. Neprotislovnost klasične sintetične teorije izračunljivosti Žiga Putrle, 2023, master's thesis Keywords: teorija tipov, teorij izračunljivosti, teorija realizabilnosti, dokazovalni pomočniki |