| 1x | | site, axiom of choice, dependent choice, sheaf, topos, Howe’s method, complete lattices, countable choice, independence, piecewise linear functions, fixed point, algorithms, začetna algebra, teorija kategorij, Haskell, rekurzivni podatkovni tip, applicative bisimilarity, algebraic effects, izjave, aksiom univalentnosti, grupe, identični tip, izomorfizem, teorija tipov, tip, množice, konstruktivna logika, call-by-push-value, behavioural logic, modalities, functional programming, Program equivalence, relevantnost dokazov, princip strukturne identitete, teorija množic |
