Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Nominal_terms_(computer_science)> ?p ?o }
Showing triples 1 to 41 of
41
with 100 triples 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) wikiPageLength "5706".
- Nominal_terms_(computer_science) wikiPageOutDegree "23".
- Nominal_terms_(computer_science) wikiPageRevisionID "607212731".
- Nominal_terms_(computer_science) wikiPageWikiLink Abstract_syntax_tree.
- Nominal_terms_(computer_science) wikiPageWikiLink AlphaProlog.
- Nominal_terms_(computer_science) wikiPageWikiLink Category:Theoretical_computer_science.
- Nominal_terms_(computer_science) wikiPageWikiLink Compiler.
- Nominal_terms_(computer_science) wikiPageWikiLink Computer_science.
- Nominal_terms_(computer_science) wikiPageWikiLink De_Bruijn_index.
- Nominal_terms_(computer_science) wikiPageWikiLink First-order_logic.
- Nominal_terms_(computer_science) wikiPageWikiLink Higher-order_abstract_syntax.
- Nominal_terms_(computer_science) wikiPageWikiLink Lambda_calculus.
- Nominal_terms_(computer_science) wikiPageWikiLink Logic.
- Nominal_terms_(computer_science) wikiPageWikiLink Logic_programming.
- Nominal_terms_(computer_science) wikiPageWikiLink Metalanguage.
- Nominal_terms_(computer_science) wikiPageWikiLink Nominal_techniques.
- Nominal_terms_(computer_science) wikiPageWikiLink Programming_language.
- Nominal_terms_(computer_science) wikiPageWikiLink Prolog.
- Nominal_terms_(computer_science) wikiPageWikiLink Simply_typed_lambda_calculus.
- Nominal_terms_(computer_science) wikiPageWikiLink Undecidable_problem.
- Nominal_terms_(computer_science) wikiPageWikiLink Unification_(computer_science).
- Nominal_terms_(computer_science) wikiPageWikiLink ΛProlog.
- Nominal_terms_(computer_science) wikiPageWikiLink Π-calculus.
- Nominal_terms_(computer_science) wikiPageWikiLinkText "Nominal terms (computer science)".
- Nominal_terms_(computer_science) wikiPageWikiLinkText "nominal terms".
- Nominal_terms_(computer_science) wikiPageUsesTemplate Template:Cite_conference.
- Nominal_terms_(computer_science) wikiPageUsesTemplate Template:Cite_journal.
- Nominal_terms_(computer_science) wikiPageUsesTemplate Template:Empty_section.
- Nominal_terms_(computer_science) subject Category:Theoretical_computer_science.
- Nominal_terms_(computer_science) hypernym Metalanguage.
- Nominal_terms_(computer_science) type Area.
- Nominal_terms_(computer_science) type Area.
- 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 Q7048591.
- Nominal_terms_(computer_science) sameAs m.0bx_qjg.
- Nominal_terms_(computer_science) sameAs Q7048591.
- Nominal_terms_(computer_science) wasDerivedFrom Nominal_terms_(computer_science)?oldid=607212731.
- Nominal_terms_(computer_science) isPrimaryTopicOf Nominal_terms_(computer_science).