Pages that link to "Item:Q4053618"
From MaRDI portal
The following pages link to Pairing Without Conventional Restraints (Q4053618):
Displayed 6 items.
- Conditional linearization (Q698633) (← links)
- Confluence results for the pure strong categorical logic CCL. \(\lambda\)- calculi as subsystems of CCL (Q918956) (← links)
- Unique normal forms for lambda calculus with surjective pairing (Q1117204) (← links)
- Combinatory reduction systems: Introduction and survey (Q1314356) (← links)
- Retracts of numerations (Q1823236) (← links)
- Nominal rewriting (Q2373703) (← links)