The following pages link to (Q4182476):
Displayed 5 items.
- Analytic proof systems for \(\lambda\)-calculus: the elimination of transitivity, and why it matters (Q884953) (← links)
- Descendants and origins in term rewriting. (Q1854348) (← links)
- Conservation and uniform normalization in lambda calculi with erasing reductions (Q1854562) (← links)
- (Q3858241) (← links)
- On the longest perpetual reductions in orthogonal expression reduction systems (Q5958775) (← links)