Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Nominal_techniques> ?p ?o }
Showing triples 1 to 29 of
29
with 100 triples per page.
- Nominal_techniques abstract "Nominal techniques are a range of techniques, based on nominal sets, for handling names and binding, e.g. in abstract syntax. Research into nominal sets gave rise to nominal terms, a metalanguage for embedding object languages with name binding constructs.".
- Nominal_techniques wikiPageID "23387657".
- Nominal_techniques wikiPageLength "1010".
- Nominal_techniques wikiPageOutDegree "6".
- Nominal_techniques wikiPageRevisionID "674234552".
- Nominal_techniques wikiPageWikiLink Abstract_syntax.
- Nominal_techniques wikiPageWikiLink Category:Theoretical_computer_science.
- Nominal_techniques wikiPageWikiLink De_Bruijn_index.
- Nominal_techniques wikiPageWikiLink Higher-order_abstract_syntax.
- Nominal_techniques wikiPageWikiLink Nominal_sets.
- Nominal_techniques wikiPageWikiLink Nominal_terms_(computer_science).
- Nominal_techniques wikiPageWikiLinkText "Nominal techniques".
- Nominal_techniques wikiPageWikiLinkText "nominal sets".
- Nominal_techniques wikiPageWikiLinkText "nominal".
- Nominal_techniques wikiPageUsesTemplate Template:Cite_journal.
- Nominal_techniques wikiPageUsesTemplate Template:Context.
- Nominal_techniques wikiPageUsesTemplate Template:No_footnotes.
- Nominal_techniques subject Category:Theoretical_computer_science.
- Nominal_techniques hypernym Range.
- Nominal_techniques type Area.
- Nominal_techniques type Area.
- Nominal_techniques type Page.
- Nominal_techniques comment "Nominal techniques are a range of techniques, based on nominal sets, for handling names and binding, e.g. in abstract syntax. Research into nominal sets gave rise to nominal terms, a metalanguage for embedding object languages with name binding constructs.".
- Nominal_techniques label "Nominal techniques".
- Nominal_techniques sameAs Q7048585.
- Nominal_techniques sameAs m.06wbsk6.
- Nominal_techniques sameAs Q7048585.
- Nominal_techniques wasDerivedFrom Nominal_techniques?oldid=674234552.
- Nominal_techniques isPrimaryTopicOf Nominal_techniques.