Pages that link to "Item:Q3525150"
From MaRDI portal
The following pages link to Capture-Avoiding Substitution as a Nominal Algebra (Q3525150):
Displaying 11 items.
- Unity in nominal equational reasoning: the algebra of equality on nominal sets (Q420858) (← links)
- PNL to HOL: from the logic of nominal sets to the logic of higher-order functions (Q714797) (← links)
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088) (← links)
- Capture-avoiding substitution as a nominal algebra (Q939160) (← links)
- Matching and alpha-equivalence check for nominal terms (Q980937) (← links)
- A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets (Q1006642) (← links)
- Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables (Q3094165) (← links)
- Nominal Matching and Alpha-Equivalence (Q3511452) (← links)
- Two-level Lambda-calculus (Q4982628) (← links)
- Abstract Syntax: Substitution and Binders (Q5262926) (← links)
- a-Logic With Arrows (Q5403474) (← links)
