Pages that link to "Item:Q3714048"
From MaRDI portal
The following pages link to Axioms for the Theory of Lambda-Conversion (Q3714048):
Displaying 5 items.
- Formalisation in constructive type theory of Stoughton's substitution for the lambda calculus (Q530864) (← links)
- Substitution revisited (Q1106190) (← links)
- Capturing strong reduction in director string calculus (Q1208420) (← links)
- On explicit substitution with names (Q2392486) (← links)
- Axiomatic rewriting theory II: the -calculus enjoys finite normalisation cones (Q4500179) (← links)