:Category:type theory

{{Commons category|Type theory}}

{{Cat main|Type theory}}

Category:Mathematical structures

Category:Logic in computer science

Category:Programming language theory

Category:Mathematical logic

{{CatAutoTOC}}