type theory
Sign in to saveAlso known as theory of types
study of type systems in mathematical logic and computer science
Wikidata facts
Show 1 more fact
- Commons category
- Type theory
Sources (3)
via Wikidata · CC0
Connections
logical disjunction
Entity
formal system
Entity
semantics of logic
Entity
proof assistant
Entity
semantic theory of truth
Entity
logic
Entity
algorithm
Entity
compiler
Entity
mathematical logic
Entity
Boolean algebra
Entity
propositional calculus
Entity
proposition
Entity
logical negation
Entity
logical conjunction
Entity
quantifier
Entity
first-order logic
Entity
Peano axioms
Entity
truth value
Entity
recursive set
Entity
constructivism
Entity