Category:Type theory
Wikimedia Commons has media related to Type theory.
Subcategories
This category has the following 2 subcategories, out of 4 total.
(previous page) (next page)T
Pages in category "Type theory"
The following 46 pages are in this category, out of 113 total. This list may not reflect recent changes.
(previous page) (next page)S
T
- Tagged union
- Top type
- Trait (computer programming)
- Tuple
- Twelf
- Typability
- Type checking
- Type class
- Type constructor
- Type conversion
- Type erasure
- Type family
- Type in type
- Type inference
- Type inhabitation
- Type reconstruction
- Type safety
- Type signature
- Type system
- Type theory
- Type theory with records
- Type variable
- Type-in-type
- Typed lambda calculus
- Typing environment
- Typing rule