Category:Type theory
From HandWiki
Here is a list of articles in the Type theory category of the Computing portal that unifies foundations of mathematics and computations using computers.
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
