Pages that link to "Item:Q685380"
From MaRDI portal
The following pages link to A theory of binding structures and applications to rewriting (Q685380):
Displaying 12 items.
- An initial algebra approach to term rewriting systems with variable binders (Q853743) (← links)
- A lambda-calculus for dynamic binding (Q1127514) (← links)
- Combinatory reduction systems: Introduction and survey (Q1314356) (← links)
- A first order logic of effects (Q1390955) (← links)
- Higher-order substitutions (Q1854398) (← links)
- Theory and practice of second-order rewriting: foundation, evolution, and SOL (Q2039930) (← links)
- Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables (Q3094165) (← links)
- Labelled reductions, runtime errors, and operational subsumption (Q4572006) (← links)
- Axiomatizing permutation equivalence (Q4715673) (← links)
- Pullback rewriting and applications (Q4923531) (← links)
- A practical implementation of simple consequence relations using inductive definitions (Q5234714) (← links)
- A typed context calculus (Q5958759) (← links)