Pages that link to "Item:Q1117204"
From MaRDI portal
The following pages link to Unique normal forms for lambda calculus with surjective pairing (Q1117204):
Displaying 13 items.
- Conditional linearization (Q698633) (← links)
- Alpha conversion, conditions on variables and categorical logic (Q913792) (← links)
- Unique normal forms for lambda calculus with surjective pairing (Q1117204) (← links)
- Combinatory reduction systems: Introduction and survey (Q1314356) (← links)
- On confluence for weakly normalizing systems (Q5055761) (← links)
- Open problems in rewriting (Q5055780) (← links)
- Some lambda calculi with categorical sums and products (Q5055791) (← links)
- Unique normal forms for nonlinear term rewriting systems: Root overlaps (Q5055958) (← links)
- (Q5111310) (← links)
- Call-by-name extensionality and confluence (Q5372008) (← 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)
- On interreduction of semi-complete term rewriting systems (Q5941203) (← links)
