Unity in nominal equational reasoning: the algebra of equality on nominal sets
From MaRDI portal
Publication:420858
DOI10.1016/j.jal.2012.03.001zbMath1239.03019OpenAlexW2142400104MaRDI QIDQ420858
Publication date: 23 May 2012
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jal.2012.03.001
survey papernominal setsequality logicnominal algebranominal equational reasoningpermissive-nominal algebrasemantic and syntactic freshness
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A new approach to abstract syntax with variable binding
- A polynomial nominal unification algorithm
- A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets
- Cylindric algebras. Part II
- Nominal unification
- Nominal rewriting
- Nominal Equational Logic
- Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free
- Permissive-nominal logic
- Nominal Lawvere Theories
- Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax
- Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques
- Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables
- Semantics Out of Context
- Binding in Nominal Equational Logic
- Nominal Matching and Alpha-Equivalence
- One-and-a-halfth-order Logic
- Capture-Avoiding Substitution as a Nominal Algebra
- A Nominal Axiomatization of the Lambda Calculus
- On universal algebra over nominal sets
- A Formal Calculus for Informal Equality with Binding
- Nominal Algebra and the HSP Theorem
- Nominal (Universal) Algebra: Equational Logic with Names and Binding
- An Efficient Nominal Unification Algorithm
- Term Equational Systems and Logics
- Nominal Renaming Sets
- Nominal Unification from a Higher-Order Perspective
This page was built for publication: Unity in nominal equational reasoning: the algebra of equality on nominal sets
