Advanced

 
  Search
    Simple search


Results

7 results
1 - 7 / 7
First pagePrevious page1Next pageLast page
1. Computing fixed points of monotone piecewise linear functions
Anja Petković, 2017, master's thesis

Keywords: piecewise linear functions, fixed point, algorithms
Full text (file, 904,87 KB)

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

Keywords: Haskell, rekurzivni podatkovni tip, teorija kategorij, začetna algebra
Full text (file, 396,59 KB)

3. Behavioural equivalence via modalities for algebraic effects
Alex Simpson, Niels Voorneveld, 2018, published scientific conference contribution

Keywords: computer science, behavioural equivalence, call-by-value functional language, openness, decomposability
Full text (file, 640,49 KB) This document has more files! More...

4. Primerjava teorije množic in teorije tipov kot temeljev matematike
Matej Jazbec, 2022, bachelor thesis/paper

Keywords: teorija množic, teorija tipov, tip, izomorfizem, identični tip, izjave, aksiom univalentnosti, grupe, množice, konstruktivna logika, relevantnost dokazov, princip strukturne identitete
Full text (file, 845,74 KB)

5. Equality between programs with effects
Niels Frits Willem Voorneveld, 2020, doctoral dissertation

Keywords: Program equivalence, functional programming, call-by-push-value, behavioural logic, modalities, algebraic effects, applicative bisimilarity, Howe’s method, complete lattices
Full text (file, 2,42 MB)

6. Toposni modeli principov teorije množic
Severin Mejak, 2019, master's thesis/paper

Keywords: topos, sheaf, site, axiom of choice, dependent choice, countable choice, independence
Full text (file, 776,82 KB)

7. Snopi nad okoliši
Ivan Kobe, 2023, bachelor thesis/paper

Keywords: okoliš, lokacija, snop, topos, hipoteza kontinuuma
Full text (file, 615,85 KB)
Search done in 0.03 sec.
Back to top