Error
From HandWiki
The revision #357858 of the page named "Category:Type theory" does not exist.
This is usually caused by following an outdated history link to a page that has been deleted. Details can be found in the deletion log.
Subcategories
This category has the following 3 subcategories, out of 3 total.
Pages in category "Type theory"
The following 114 pages are in this category, out of 114 total.
A
C
H
I
P
S
T
- Tagged union
- Top type
- Trait (computer programming)
- Tuple
- Twelf
- Typability
- Type class
- Type constructor
- Type conversion
- Type erasure
- Type family
- Type in type
- Type inference
- Type inhabitation
- Type rule
- Type safety
- Type signature
- Type system
- Type theory
- Type theory with records
- Type variable
- Type-in-type
- Typed lambda calculus
- Typing environment
- Typing rule