Nominal Renaming Sets
From MaRDI portal
Publication:5505550
Recommendations
Cited in
(17)- Rensets and renaming-based recursion for syntax with bindings
- Alpha equivalence equalities
- Unity in nominal equational reasoning: the algebra of equality on nominal sets
- Nominal system T
- PNL to HOL: from the logic of nominal sets to the logic of higher-order functions
- Generalised name abstraction for nominal sets
- A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets
- From Renaming to Set Agreement
- The fresh-graph of a nominal set
- A nominal relational model for local store
- Rule formats for nominal process calculi
- Game semantics in the nominal model
- An extension of a permutative model of set theory
- On nominal sets with support-preorder
- Relating coalgebraic notions of bisimulation. With applications to name-passing process calculi (extended abstract)
- Rensets and renaming-based recursion for syntax with bindings extended version
- Nominal Sets in Agda - A Fresh and Immature Mechanization
This page was built for publication: Nominal Renaming Sets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5505550)