|
|
|
4. Primerjava teorije množic in teorije tipov kot temeljev matematikeMatej Jazbec, 2022, diplomsko delo 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 Celotno besedilo (datoteka, 845,74 KB) |
5. Equality between programs with effectsNiels Frits Willem Voorneveld, 2020, doktorska disertacija Ključne besede: Program equivalence, functional programming, call-by-push-value, behavioural logic, modalities, algebraic effects, applicative bisimilarity, Howe’s method, complete lattices Celotno besedilo (datoteka, 2,42 MB) |
6. Toposni modeli principov teorije množicSeverin Mejak, 2019, magistrsko delo Ključne besede: topos, sheaf, site, axiom of choice, dependent choice, countable choice, independence Celotno besedilo (datoteka, 776,82 KB) |
|