About: identity type

Premodifier: identity
Head noun: type

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

Broader concepts

label	provenance	confidence

Narrower concepts

label	provenance	confidence
group	isap:195195295	0.255053