Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax
DOI10.2178/bsl/1305810911zbMath1253.03059OpenAlexW2127052734MaRDI QIDQ3011103
Publication date: 28 June 2011
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/bsl/1305810911
survey papernominal techniquesvariable bindingnamesalpha-equivalencenominal abstract syntaxatoms-abstractioninductive syntax up to binding
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)
Related Items (15)
Uses Software
Cites Work
- Nominal techniques in Isabelle/HOL
- Capture-avoiding substitution as a nominal algebra
- A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets
- Substitution revisited
- About \({|}/{|}\)-quantifiers
- A spatial logic for concurrency. II
- Nominal logic, a first order theory of names and binding
- Avoiding the axiom of choice in general category theory
- Fresh logic: Proof-theory and semantics for FM and nominal techniques
- A general mathematics of names
- On a monadic semantics for freshness
- Alpha-structural recursion and induction
- Completeness and Herbrand theorems for nominal logic
- THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
- Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
This page was built for publication: Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax