Ključne besede: piecewise linear functions, fixed point, algorithmsCelotno besedilo (datoteka, 904,87 KB)
Ključne besede: Haskell, rekurzivni podatkovni tip, teorija kategorij, začetna algebraCelotno besedilo (datoteka, 396,59 KB)
Ključne besede: computer science, behavioural equivalence, call-by-value functional language, openness, decomposabilityCelotno besedilo (datoteka, 640,49 KB) Gradivo ima več datotek! Več...
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 identiteteCelotno besedilo (datoteka, 845,74 KB)
Ključne besede: Program equivalence, functional programming, call-by-push-value, behavioural logic, modalities, algebraic effects, applicative bisimilarity, Howe’s method, complete latticesCelotno besedilo (datoteka, 2,42 MB)
Ključne besede: topos, sheaf, site, axiom of choice, dependent choice, countable choice, independenceCelotno besedilo (datoteka, 776,82 KB)