Nominal Matching and Alpha-Equivalence

DOI10.1007/978-3-540-69937-8_11MaRDI QIDQ3511452zbMATH OpenOpenAlexFDO

Authors Christophe Calvès, Maribel Fernández

Publication date 10 July 2008

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-69937-8_11

zbMATH Keywords

\(\alpha \)-equivalenceBindersmatchingnominal terms

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• Matching and alpha-equivalence check for nominal terms
• A formalisation of nominal \(\alpha\)-equivalence with A and AC function symbols
• A polynomial nominal unification algorithm
• Nominal unification
• Computer Science Logic

Cites work

• A new approach to abstract syntax with variable binding
• Capture-Avoiding Substitution as a Nominal Algebra
• FreshML: programming with binders made simple
• Implementing nominal unification
• Nominal equational logic
• Nominal logic, a first order theory of names and binding
• Nominal rewriting
• Nominal unification
• OCaml + XDuce
• On theories with a combinatorial definition of 'equivalence'
• Unification theory

Cited in

(10)

• Nominal syntax with atom substitutions: matching, unification, rewriting
• A formalisation of nominal \(\alpha\)-equivalence with A, C, and AC function symbols
• Nominal syntax with atom substitutions
• Algorithms for extended alpha-equivalence and complexity
• The First-Order Nominal Link
• Unity in nominal equational reasoning: the algebra of equality on nominal sets
• Nominal AC-matching
• Closed nominal rewriting and efficiently computable nominal algebra equality
• A polynomial nominal unification algorithm
• Matching and alpha-equivalence check for nominal terms

This page was built for publication: Nominal Matching and Alpha-Equivalence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3511452)