Capture-avoiding substitution as a nominal algebra
type: Item
instance of: scholarly article
title: Capture-avoiding substitution as a nominal algebra
zbMATH Open document ID: 1152.68025
author: Aad Mathijssen
author: Murdoch J. Gabbay
published in: Formal Aspects of Computing
publication date: 2008-08-21T00:00:00Z
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 5314956
zbMATH Keywords: Substitution
zbMATH Keywords: Nominal techniques
zbMATH Keywords: Nominal algebra
zbMATH Keywords: Binding
zbMATH Keywords: Capture-avoidance
zbMATH Keywords: Nominal rewriting
zbMATH Keywords: Omega-completeness
MaRDI profile type: Publication
full work available at URL: s00165-007-0056-1
OpenAlex ID: W2168547990
cites work: Q4357055
cites work: Q3934450
cites work: On the Notion of Substitution
cites work: Q5667469
cites work: Q4428296
cites work: Axiomatization of polynomial substitution algebras
cites work: Nominal rewriting
cites work: Hierarchical nominal terms and their theory of rewriting
cites work: Capture-Avoiding Substitution as a Nominal Algebra
cites work: A Formal Calculus for Informal Equality with Binding
cites work: A new approach to abstract syntax with variable binding
cites work: Combinatory reduction systems: Introduction and survey
cites work: Q3727946
cites work: The Lattice of Lambda Theories
cites work: A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
cites work: Higher-order rewrite systems and their confluence
cites work: On the algebraic models of lambda calculus
cites work: An algebraic generalization of Frege structures -- binding algebras
cites work: Nominal unification
DOI: 10.1007/S00165-007-0056-1
Recommended article: Capture-Avoiding Substitution as a Nominal Algebra
Recommended article: Q4890397
Recommended article: Nominal (Universal) Algebra: Equational Logic with Names and Binding
Recommended article: Q4608581
Recommended article: Axiomatisation of substitution
Recommended article: Q4273440
Recommended article: Nominal Kleene Coalgebra
Recommended article: A note on algebras of substitutions
Recommended article: Algebraic logic perspective on Prucnal's substitution
Recommended article: Formalising Generalised Substitutions
description: scientific article; zbMATH DE number 5314956