1 - 4 / 4 1 |
1. Primerjava teorije množic in teorije tipov kot temeljev matematike Matej Jazbec, 2022, diplomsko delo/naloga Ključne besede: 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, diplomsko delo/naloga Ključne besede: teorija tipov, lambda račun, intuicionistična logika, dedukcija, Curry-Howardova korepondenca |
3. Izdelava in uporaba dokazovalnega pomočnika BLAŽ ZUPANČIČ, 2023, diplomsko delo Ključne besede: dokazovalni pomočnik, teorija tipov |
4. Neprotislovnost klasične sintetične teorije izračunljivosti Žiga Putrle, 2023, magistrsko delo/naloga Ključne besede: teorija tipov, teorij izračunljivosti, teorija realizabilnosti, dokazovalni pomočniki |