The following pages link to (Q5389133):
Displaying 4 items.
- Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation (Q831147) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- Layer Systems for Proving Confluence (Q2946770) (← links)
- Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs (Q5879268) (← links)
