Keywords: algebraic combinatorics, algebraic/discrete Morse theory, acyclic matching, chain complex, homological algebra, nilpotent Lie algebra, torsion table, triangular matricesFull text (file, 441,43 KB)
Keywords: Algebraic effects, effect handlers, functional programming, theory of programming languages, denotational semanticsFull text (file, 1,64 MB) This document has more files! More...
Keywords: dependent type theory, algebraic theory, proof assistant, type-theoretic elaboration equality checkingFull text (file, 2,41 MB)
Keywords: dependent type theory, algebraic theory, proof assistant, metalanguage, computational effectsFull text (file, 2,22 MB)