Napredno

 
  Išči
    Enostavno iskanje


Rezultati

7 rezultatov
1 - 7 / 7
Na začetekNa prejšnjo stran1Na naslednjo stranNa konec
1. Computing fixed points of monotone piecewise linear functions
Anja Petković, 2017, magistrsko delo

Ključne besede: piecewise linear functions, fixed point, algorithms
Celotno besedilo (datoteka, 904,87 KB)

2. Podatkovni tipi kot začetne algebre in končne koalgebre
Boštjan Gec, 2018, diplomsko delo

Ključne besede: Haskell, rekurzivni podatkovni tip, teorija kategorij, začetna algebra
Celotno besedilo (datoteka, 396,59 KB)

3. Behavioural equivalence via modalities for algebraic effects
Alex Simpson, Niels Voorneveld, 2018, objavljeni znanstveni prispevek na konferenci

Ključne besede: computer science, behavioural equivalence, call-by-value functional language, openness, decomposability
Celotno besedilo (datoteka, 640,49 KB) Gradivo ima več datotek! Več...

4. Primerjava teorije množic in teorije tipov kot temeljev matematike
Matej 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 effects
Niels 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žic
Severin Mejak, 2019, magistrsko delo

Ključne besede: topos, sheaf, site, axiom of choice, dependent choice, countable choice, independence
Celotno besedilo (datoteka, 776,82 KB)

7. Snopi nad okoliši
Ivan Kobe, 2023, diplomsko delo

Ključne besede: okoliš, lokacija, snop, topos, hipoteza kontinuuma
Celotno besedilo (datoteka, 615,85 KB)
Iskanje izvedeno v 0.03 sek.
Na vrh