Category:Type theory
Subcategories
This category has the following 4 subcategories, out of 4 total.
A
P
T
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
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