A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets
type: Item
instance of: scholarly article
title: A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets
zbMATH Open document ID: 1159.03019
published in: Theoretical Computer Science
publication date: 2009-03-25T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03E70
Mathematics Subject Classification ID: 03E75
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 5532864
zbMATH Keywords: substitution
zbMATH Keywords: nominal techniques
zbMATH Keywords: Fraenkel-Mostowski set theory
author: Murdoch J. Gabbay
MaRDI profile type: Publication
full work available at URL: j.tcs.2008.11.013
OpenAlex ID: W2060214165
cites work: Q3992552
cites work: Q5691486
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: Automated Reasoning
cites work: Typed Lambda Calculi and Applications
cites work: Q4876818
cites work: Logic Programming
cites work: On the Notion of Substitution
cites work: Axiomatization of polynomial substitution algebras
cites work: Natural deduction and arbitrary objects
cites work: Q4664925
cites work: A general mathematics of names
cites work: A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing
cites work: Nominal Renaming Sets
cites work: Capture-Avoiding Substitution as a Nominal Algebra
cites work: One-and-a-halfth-order Logic
cites work: Capture-avoiding substitution as a nominal algebra
cites work: A new approach to abstract syntax with variable binding
cites work: Q4342087
cites work: Q4354789
cites work: Q3783260
cites work: Scrap your boilerplate with class
cites work: The Lattice of Lambda Theories
cites work: A calculus of mobile processes. II
cites work: Nominal logic, a first order theory of names and binding
cites work: Q2721104
cites work: On the algebraic models of lambda calculus
cites work: Q4799892
cites work: Q4309355
cites work: Nominal unification
cites work: Q4789460
DOI: 10.1016/J.TCS.2008.11.013
description: scientific article; zbMATH DE number 5532864