About: http://dbpedia.org/resource/Dependent_typing

An Entity in Data Space: dbpedia.org

[RDF Data]

Property	Value
dbpprop:redirect	dbpedia:Dependent_type
is dbpprop:typing of	dbpedia:Epigram_(programming_language)

Browse using: OpenLink Data Explorer | Zitgist Data Viewer | Marbles | DISCO | Tabulator Raw Data in: N3/Turtle | JSON+RDF | RDF/XML About

Powered by OpenLink Virtuoso

This material is Open Knowledge

W3C Semantic Web Technology

This material is Open Knowledge