Home›Dependently typed programming›tipo dependente🌐PortuguêsEnglishFrançaisPortuguêsРусскийالعربية한국어中文日本語EntityQ997433· pop 11· linked from 344 articlestipo dependentedata type whose definition depends on a valueAvailable in 11 languagesFrançais中文日本語РусскийالعربيةCzechGreekUkrainianzh_min_nan한국어via Wikidata sitelinks · CC0Connectionsintuitionistic type theoryEntitytype systemEntityCategoriesDependently typed programmingFoundations of mathematicsType systemsType theory