type theory
Sign in to saveAlso known as theory of types
study of type systems in mathematical logic and computer science
Wikidata facts
- Instance of
- branch of mathematics
- Subclass of
- formal system
- Has use
- strong typing
Show 4 more facts
- topic's main category
- Category:Type theory
- facet of
- mathematical logic
- Commons category
- Type theory
- is the study of
- type system
Sources (3)
via Wikidata · CC0