Category:Type theory
Wikimedia Commons has media related to Type theory.
Subcategories
This category has the following 3 subcategories, out of 4 total.
(previous page) (next page)P
T
Pages in category "Type theory"
The following 85 pages are in this category, out of 112 total. This list may not reflect recent changes.
(previous page) (next page)H
I
P
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 with records
- Type variable
- Type-in-type
- Typed lambda calculus
- Typing environment
- Typing rule