Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Internal_language> }
Showing triples 1 to 15 of
15
with 100 triples per page.
- Cartesian_closed_category wikiPageWikiLink Internal_language.
- Closed_monoidal_category wikiPageWikiLink Internal_language.
- Constructivism_(mathematics) wikiPageWikiLink Internal_language.
- Curry–Howard_correspondence wikiPageWikiLink Internal_language.
- Denotational_semantics wikiPageWikiLink Internal_language.
- Hom_functor wikiPageWikiLink Internal_language.
- Homotopy_type_theory wikiPageWikiLink Internal_language.
- Lambda_calculus wikiPageWikiLink Internal_language.
- Link_grammar wikiPageWikiLink Internal_language.
- Simply_typed_lambda_calculus wikiPageWikiLink Internal_language.
- Substructural_type_system wikiPageWikiLink Internal_language.
- Timeline_of_category_theory_and_related_mathematics wikiPageWikiLink Internal_language.
- Type_rule wikiPageWikiLink Internal_language.
- Typed_lambda_calculus wikiPageWikiLink Internal_language.
- Internal_language primaryTopic Internal_language.