Ključne besede: Dependent type theory, constructive mathematics, formalization, Zariski locale, structure sheafCelotno besedilo (datoteka, 449,50 KB)
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)
Ključne besede: dependent type theory, context-free type theory, formal meta-theory, proof assistantsCelotno besedilo (datoteka, 2,36 MB) Gradivo ima več datotek! Več...