Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Locally_cartesian_closed_category> }
Showing triples 1 to 5 of
5
with 100 triples per page.
- LCCC wikiPageDisambiguates Locally_cartesian_closed_category.
- Intuitionistic_type_theory wikiPageWikiLink Locally_cartesian_closed_category.
- LCCC wikiPageWikiLink Locally_cartesian_closed_category.
- Type_theory wikiPageWikiLink Locally_cartesian_closed_category.
- Locally_cartesian_closed_category primaryTopic Locally_cartesian_closed_category.