Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Pure_type_system> . }
Showing items 1 to 8 of
8
with 100 items per page.
- PTS wikiPageDisambiguates Pure_type_system.
- Barendregt-Geuvers-Klop_conjecture wikiPageRedirects Pure_type_system.
- Generalized_type_system wikiPageRedirects Pure_type_system.
- Girard's_paradox wikiPageRedirects Pure_type_system.
- L-cube wikiPageRedirects Pure_type_system.
- Pure_type_systems wikiPageRedirects Pure_type_system.
- Barendregt–Geuvers–Klop_conjecture wikiPageRedirects Pure_type_system.
- Pure_type_system primaryTopic Pure_type_system.