Ključne besede: algebraic combinatorics, algebraic/discrete Morse theory, acyclic matching, chain complex, homological algebra, nilpotent Lie algebra, torsion table, triangular matricesCelotno besedilo (datoteka, 441,43 KB)
Ključne besede: Algebraic effects, effect handlers, functional programming, theory of programming languages, denotational semanticsCelotno besedilo (datoteka, 1,64 MB) Gradivo ima več datotek! Več...
Ključne besede: dependent type theory, algebraic theory, proof assistant, type-theoretic elaboration equality checkingCelotno besedilo (datoteka, 2,41 MB)
Ključne besede: dependent type theory, algebraic theory, proof assistant, metalanguage, computational effectsCelotno besedilo (datoteka, 2,22 MB)