Pages that link to "Item:Q939160"
From MaRDI portal
The following pages link to Capture-avoiding substitution as a nominal algebra (Q939160):
Displaying 15 items.
- Alpha equivalence equalities (Q428860) (← 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)
- A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets (Q1006642) (← links)
- The lambda-context calculus (extended version) (Q1044184) (← links)
- Encoding abstract syntax without fresh names (Q2392477) (← links)
- Nominal syntax with atom substitutions (Q2662669) (← links)
- Contextual equivalence for inductive definitions with binders in higher order typed functional programming (Q2875221) (← links)
- Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax (Q3011103) (← links)
- Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables (Q3094165) (← links)
- Two-level Lambda-calculus (Q4982628) (← links)
- Fixed-Point Constraints for Nominal Equational Unification (Q4993333) (← links)
- (Q5216313) (← links)
- a-Logic With Arrows (Q5403474) (← links)
- Rensets and renaming-based recursion for syntax with bindings extended version (Q6111524) (← links)
