The following pages link to (Q4490748):
Displaying 6 items.
- Normalization results for typeable rewrite systems (Q1357006) (← links)
- Lambda calculus with explicit recursion (Q1383145) (← links)
- Highlights in infinitary rewriting and lambda calculus (Q1929230) (← links)
- Approximation and normalization results for typeable term rewriting systems (Q4645802) (← links)
- Infinitary lambda calculi and böhm models (Q5055835) (← links)
- Lambda-definable term rewriting systems (Q6560356) (← links)