Keywords: piecewise linear functions, fixed point, algorithmsFull text (file, 904,87 KB)
Keywords: Haskell, rekurzivni podatkovni tip, teorija kategorij, začetna algebraFull text (file, 396,59 KB)
Keywords: computer science, behavioural equivalence, call-by-value functional language, openness, decomposabilityFull text (file, 640,49 KB) This document has more files! More...
Keywords: teorija množic, teorija tipov, tip, izomorfizem, identični tip, izjave, aksiom univalentnosti, grupe, množice, konstruktivna logika, relevantnost dokazov, princip strukturne identiteteFull text (file, 845,74 KB)
Keywords: Program equivalence, functional programming, call-by-push-value, behavioural logic, modalities, algebraic effects, applicative bisimilarity, Howe’s method, complete latticesFull text (file, 2,42 MB)
Keywords: topos, sheaf, site, axiom of choice, dependent choice, countable choice, independenceFull text (file, 776,82 KB)