Category:Type theory
Help
![](https://upload.wikimedia.org/wikipedia/en/thumb/4/4a/Commons-logo.svg/30px-Commons-logo.svg.png)
Wikimedia Commons has media related to Type theory.
Subcategories
This category has the following 4 subcategories, out of 4 total.
A
- Abstract data types (1 C, 24 P)
P
- Polymorphism (computer science) (1 C, 25 P)
T
- Type inference (1 C, 4 P)
- Type systems (2 C, 20 P)
Pages in category "Type theory"
The following 113 pages are in this category, out of 113 total. This list may not reflect recent changes.
A
C
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
- Type theory with records
- Type variable
- Type-in-type
- Typed lambda calculus
- Typing environment
- Typing rule