Alpha equivalence equalities
type: Item
instance of: scholarly article
title: Alpha equivalence equalities
zbMATH Open document ID: 1244.68030
author: Roy L. Crole
published in: Theoretical Computer Science
publication date: 2012-06-25T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 6049386
zbMATH Keywords: \(\alpha \)-equivalence
zbMATH Keywords: atom
zbMATH Keywords: context
zbMATH Keywords: \(\lambda \)-expression
zbMATH Keywords: permutation action
zbMATH Keywords: renaming
zbMATH Keywords: variable binding
describes a project that uses: LEGO
MaRDI profile type: Publication
full work available at URL: j.tcs.2012.01.030
OpenAlex ID: W2063470124
cites work: A head-to-head comparison of de Bruijn indices and names
cites work: Binding in Nominal Equational Logic
cites work: Completeness of bisimilarity for contextual equivalence in linear theories
cites work: The representational adequacy of <scp>Hybrid</scp>
cites work: Nominal rewriting
cites work: A general mathematics of names
cites work: Capture-avoiding substitution as a nominal algebra
cites work: Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax
cites work: Nominal Renaming Sets
cites work: A new approach to abstract syntax with variable binding
cites work: Q5565113
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: Q4722037
cites work: (Nominal) Unification by Recursive Descent with Triangular Substitutions
cites work: Nominal Unification from a Higher-Order Perspective
cites work: Some lambda calculus and type theory formalized
cites work: Proof Pearl: De Bruijn Terms Really Do Work
cites work: Q4225152
cites work: Nominal logic, a first order theory of names and binding
cites work: Nominal unification
cites work: The mechanisation of Barendregt-style equational proofs (the residual perspective)
DOI: 10.1016/J.TCS.2012.01.030
Recommended article: α-Equivalence
Recommended article: Equality algebras
Recommended article: Tau-equivalence and equipercentile equating
Recommended article: AF-equivalence relations
Recommended article: Equivalence theorems
Recommended article: Pseudo equality algebras
description: scientific article; zbMATH DE number 6049386