About: type theory

Premodifier: type
Head noun: theory

Same concepts
http://dbpedia.org/resource/Type_theory

Broader concepts

label	provenance	confidence
constructive logic	isap:117614112	0.473956

Narrower concepts

label	provenance	confidence
logic	isap:153434897	0.269842
agda	isap:302202923	0.180379
etc	isap:211770030	0.121290