Pages that link to "Item:Q2881096"
From MaRDI portal
The following pages link to Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus (Q2881096):
Displayed 5 items.
- Spinal atomic \(\lambda\)-calculus (Q2200851) (← links)
- Unification for $$\lambda $$ -calculi Without Propagation Rules (Q3179400) (← links)
- The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus (Q4972064) (← links)
- Non-linearity as the Metric Completion of Linearity (Q5300890) (← links)
- (Q6079229) (← links)