Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Explicit_substitution> }
Showing triples 1 to 14 of
14
with 100 triples per page.
- Λσ-calculus wikiPageRedirects Explicit_substitution.
- Λσ_calculus wikiPageRedirects Explicit_substitution.
- Automath wikiPageWikiLink Explicit_substitution.
- Categorical_abstract_machine wikiPageWikiLink Explicit_substitution.
- Combinatory_logic wikiPageWikiLink Explicit_substitution.
- De_Bruijn_notation wikiPageWikiLink Explicit_substitution.
- Director_string wikiPageWikiLink Explicit_substitution.
- Lambda_calculus wikiPageWikiLink Explicit_substitution.
- Metavariable wikiPageWikiLink Explicit_substitution.
- Unification_(computer_science) wikiPageWikiLink Explicit_substitution.
- Λσ-calculus wikiPageWikiLink Explicit_substitution.
- Λσ_calculus wikiPageWikiLink Explicit_substitution.
- 36687ad407e634fc87e3b306d09b4df0bd46c9d3085328881b5772a033152ed5 isCitedBy Explicit_substitution.
- Explicit_substitution primaryTopic Explicit_substitution.