The following pages link to Higher-order substitutions (Q1854398):
Displaying 16 items.
- Substitution operators (Q548122) (← links)
- Explicit substitutions and higher-order syntax (Q853744) (← links)
- C-expressions: A variable-free calculus for equational logic programming (Q1208416) (← links)
- Unification with extended patterns (Q1274966) (← links)
- Substitution: A formal methods case study using monads and transformations (Q1346686) (← links)
- CINNI -- a generic calculus of explicit substitutions and its application to \(\lambda\)-, \(\sigma\)- and \(\pi\)-calculi (Q2703692) (← links)
- Dependent types and explicit substitutions: A meta-theoretical development (Q2713354) (← links)
- A meta lambda calculus with cross-level computation (Q2819825) (← links)
- The theory of contexts for first order and higher order abstract syntax (Q2841274) (← links)
- Functional programming with higher-order abstract syntax and explicit substitutions (Q2866332) (← links)
- (Q3201049) (← links)
- (Q4062545) (← links)
- (Q4506392) (← links)
- Substitution, jumps, and algebraic effects (Q4635626) (← links)
- Programming Languages and Systems (Q5464050) (← links)
- Simultaneous substitution in the typed lambda calculus (Q6116572) (← links)
