Type (mathematics)
Redirect to:
Type theory