The following pages link to The Permutative λ-Calculus (Q2891437):
Displaying 5 items.
- Compositional Z: confluence proofs for permutative conversion (Q514511) (← links)
- Classical By-Need (Q2802497) (← links)
- Unification for $$\lambda $$ -calculi Without Propagation Rules (Q3179400) (← links)
- Degrees of sensible lambda theories (Q4194931) (← links)
- Z property for the shuffling calculus (Q5879272) (← links)