Pages that link to "Item:Q987976"
From MaRDI portal
The following pages link to On the confluence of lambda-calculus with conditional rewriting (Q987976):
Displaying 5 items.
- Confluence of the lambda calculus with left-linear algebraic rewriting (Q1197987) (← links)
- Skew confluence and the lambda calculus with letrec (Q1849854) (← links)
- On constructor rewrite systems and the lambda calculus (Q2904629) (← links)
- (Q4249894) (← links)
- Foundations of Software Science and Computation Structures (Q5899101) (← links)