Pages that link to "Item:Q1117204"
From MaRDI portal
The following pages link to Unique normal forms for lambda calculus with surjective pairing (Q1117204):
Displayed 6 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)
- 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)