Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Nominal_terms_(computer_science)> ?p ?o. }
Showing items 1 to 12 of
12
with 100 items per page.
- Nominal_terms_(computer_science) abstract "Nominal terms are a metalanguage for embedding object languages with binding constructs into. Intuitively, they may be seen as an extension of first-order terms with support for name binding. Consequently, the native notion of equality between two nominal terms is alpha-equivalence (equivalence up to a permutative renaming of bound names). Nominal terms came out of a programme of research into nominal sets, and have a concrete semantics in those sets.Nominal unification is efficiently decidable. This fact led to the development of alphaProlog, a Prolog-like logic programming language with facilities for binding names in terms, where Prolog's standard first-order unification algorithm is replaced with nominal unification.Nominal term embeddings may be seen as alternatives to de Bruijn encodings and higher-order abstract syntax, where the latter uses the simply typed lambda calculus as a metalanguage.".
- Nominal_terms_(computer_science) wikiPageID "27345568".
- Nominal_terms_(computer_science) wikiPageRevisionID "556662039".
- Nominal_terms_(computer_science) hasPhotoCollection Nominal_terms_(computer_science).
- Nominal_terms_(computer_science) subject Category:Theoretical_computer_science.
- Nominal_terms_(computer_science) comment "Nominal terms are a metalanguage for embedding object languages with binding constructs into. Intuitively, they may be seen as an extension of first-order terms with support for name binding. Consequently, the native notion of equality between two nominal terms is alpha-equivalence (equivalence up to a permutative renaming of bound names).".
- Nominal_terms_(computer_science) label "Nominal terms (computer science)".
- Nominal_terms_(computer_science) sameAs m.0bx_qjg.
- Nominal_terms_(computer_science) sameAs Q7048591.
- Nominal_terms_(computer_science) sameAs Q7048591.
- Nominal_terms_(computer_science) wasDerivedFrom Nominal_terms_(computer_science)?oldid=556662039.
- Nominal_terms_(computer_science) isPrimaryTopicOf Nominal_terms_(computer_science).