Category:Type theory

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
type theory 
Wikipedia-logo-v2.svg  Wikipedia
Instance of area of mathematics,
formal system
Facet of mathematics,
logic,
computer science,
mathematical logic
Authority control
Wikidata
Blue pencil.svg

Subcategories

This category has the following 3 subcategories, out of 3 total.

A

H

T