Binding operators for nominal sets
From MaRDI portal
Publication:1744371
DOI10.1016/j.entcs.2016.09.029zbMath1395.68088OpenAlexW2528099821WikidataQ113317643 ScholiaQ113317643MaRDI QIDQ1744371
Publication date: 23 April 2018
Full work available at URL: https://doi.org/10.1016/j.entcs.2016.09.029
Categorical logic, topoi (03G30) Nonclassical and second-order set theories (03E70) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A new approach to abstract syntax with variable binding
- Nominal techniques in Isabelle/HOL
- A calculus of mobile processes. I
- Nominal Sets
- Nominal Coalgebraic Data Types with Applications to Lambda Calculus
- Alpha-structural recursion and induction
- A framework for defining logics
- Generalised Name Abstraction for Nominal Sets
- Ott: Effective tool support for the working semanticist
- FreshML
- Computer Science Logic
- General Bindings and Alpha-Equivalence in Nominal Isabelle