Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Nominal_techniques> ?p ?o. }
Showing items 1 to 12 of
12
with 100 items 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 into.".
- Nominal_techniques wikiPageID "23387657".
- Nominal_techniques wikiPageRevisionID "558004311".
- Nominal_techniques hasPhotoCollection Nominal_techniques.
- Nominal_techniques subject Category:Theoretical_computer_science.
- 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 into.".
- Nominal_techniques label "Nominal techniques".
- Nominal_techniques sameAs m.06wbsk6.
- Nominal_techniques sameAs Q7048585.
- Nominal_techniques sameAs Q7048585.
- Nominal_techniques wasDerivedFrom Nominal_techniques?oldid=558004311.
- Nominal_techniques isPrimaryTopicOf Nominal_techniques.