Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Pure_type_system> }
Showing triples 1 to 39 of
39
with 100 triples per page.
- PTS wikiPageDisambiguates Pure_type_system.
- Barendregt-Geuvers-Klop_conjecture wikiPageRedirects Pure_type_system.
- Barendregt–Geuvers–Klop_conjecture wikiPageRedirects Pure_type_system.
- Generalized_type_system wikiPageRedirects Pure_type_system.
- L-cube wikiPageRedirects Pure_type_system.
- Pure_type_systems wikiPageRedirects Pure_type_system.
- Barendregt-Geuvers-Klop_conjecture wikiPageWikiLink Pure_type_system.
- Barendregt–Geuvers–Klop_conjecture wikiPageWikiLink Pure_type_system.
- De_Bruijn_notation wikiPageWikiLink Pure_type_system.
- Dependent_type wikiPageWikiLink Pure_type_system.
- Generalized_type_system wikiPageWikiLink Pure_type_system.
- Kind_(type_theory) wikiPageWikiLink Pure_type_system.
- L-cube wikiPageWikiLink Pure_type_system.
- Lambda-mu_calculus wikiPageWikiLink Pure_type_system.
- Lambda_calculus wikiPageWikiLink Pure_type_system.
- Lambda_cube wikiPageWikiLink Pure_type_system.
- List_of_unsolved_problems_in_computer_science wikiPageWikiLink Pure_type_system.
- Normalization_property_(abstract_rewriting) wikiPageWikiLink Pure_type_system.
- Nuprl wikiPageWikiLink Pure_type_system.
- PTS wikiPageWikiLink Pure_type_system.
- Pure_type_systems wikiPageWikiLink Pure_type_system.
- System_U wikiPageWikiLink Pure_type_system.
- Type_theory wikiPageWikiLink Pure_type_system.
- Typed_lambda_calculus wikiPageWikiLink Pure_type_system.
- jwroorda isCitedBy Pure_type_system.
- books?vid=ISBN0-262-16209-1 isCitedBy Pure_type_system.
- books?vid=ISBN0-444-52077-5 isCitedBy Pure_type_system.
- books?vid=ISBN1-4020-2334-0 isCitedBy Pure_type_system.
- 10f449d8b285d9801a2a3e937744abb9cdc24743ea07129fff0a3272118e7e33 isCitedBy Pure_type_system.
- 1cd4f2c049d077076abdea0041fd53a25e93fd935e95d270d10d950fb842a773 isCitedBy Pure_type_system.
- 1e5e1e76a87b55a1a9ebd5ad93b951071ccb00cc3ae57d2e74f602fed63f6391 isCitedBy Pure_type_system.
- 21c9403f7a9807ebe449ad40544b6640d5775b7ea197aa6f3d66b80e1082f777 isCitedBy Pure_type_system.
- 374bd78e77fe64c0e952362eb4f28fd9b989449572780f7192746038ca05e7af isCitedBy Pure_type_system.
- 5c29a8a18e456d7db9311d4a386da358e0e51848aa043b107527d8e0326b84ca isCitedBy Pure_type_system.
- dd209a0d6f7a73a800fa4dc80372e826ee08764824331a88460b575b0a021491 isCitedBy Pure_type_system.
- e7e6567489f6d7df6291bc6b4ff87e23db76354b4b121f0b84581f3f6a146c71 isCitedBy Pure_type_system.
- s1571-0661(05)80170-7 isCitedBy Pure_type_system.
- a:1008254612284 isCitedBy Pure_type_system.
- Pure_type_system primaryTopic Pure_type_system.