Nominal Renaming Sets
From MaRDI portal
Publication:5505550
DOI10.1007/978-3-540-89439-1_11zbMath1182.03065OpenAlexW1524793155MaRDI QIDQ5505550
Martin Hofmann, Murdoch James Gabbay
Publication date: 27 January 2009
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-89439-1_11
Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30)
Related Items (12)
Relating Coalgebraic Notions of Bisimulation ⋮ On nominal sets with support-preorder ⋮ Game Semantics in the Nominal Model ⋮ An Extension of a Permutative Model of Set Theory ⋮ Unnamed Item ⋮ The fresh-graph of a nominal set ⋮ Rensets and renaming-based recursion for syntax with bindings extended version ⋮ Unity in nominal equational reasoning: the algebra of equality on nominal sets ⋮ Alpha equivalence equalities ⋮ PNL to HOL: from the logic of nominal sets to the logic of higher-order functions ⋮ A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets ⋮ Rensets and renaming-based recursion for syntax with bindings
This page was built for publication: Nominal Renaming Sets
