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