About: Dependently-typed formal languages

Property	Value
rdf:type	skos:Concept
rdfs:label	Dependently-typed formal languages
skos:broader	dbpedia:Category:Formal_languages dbpedia:Category:Programming_languages dbpedia:Category:Specification_languages
skos:prefLabel	Dependently-typed formal languages
is skos:subject of	dbpedia:Mizar_system dbpedia:Coq dbpedia:Aldor dbpedia:Epigram_(programming_language) dbpedia:Cayenne_(programming_language) dbpedia:Dependent_ML dbpedia:Agda_(theorem_prover) dbpedia:Dependent_type dbpedia:NuPRL dbpedia:Prototype_Verification_System dbpedia:Twelf