Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Extensional_type_theory> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- Extensional_type_theory wikiPageID "33974089".
- Extensional_type_theory wikiPageRedirects Intuitionistic_type_theory.
- Extensional_type_theory wikiPageRevisionID "464393472".
- Extensional_type_theory subject Category:Type_theory.
- Extensional_type_theory label "Extensional type theory".
- Extensional_type_theory wasDerivedFrom Extensional_type_theory?oldid=464393472.
- Extensional_type_theory isPrimaryTopicOf Extensional_type_theory.