The following pages link to (Q3202990):
Displaying 11 items.
- Conditional linearization (Q698633) (← links)
- On the confluence of lambda-calculus with conditional rewriting (Q987976) (← links)
- How to think of intersection types as Cartesian products (Q1744395) (← links)
- Descendants and origins in term rewriting. (Q1854348) (← links)
- On polymorphic types of untyped terms (Q2453585) (← links)
- Binding in Nominal Equational Logic (Q3178258) (← links)
- (Q4036571) (← links)
- Open problems in rewriting (Q5055780) (← links)
- Levy Labels and Recursive Types (Q5283442) (← links)
- Extended term rewriting systems (Q5881265) (← links)
- Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem (Q5941196) (← links)