Pages that link to "Item:Q3527292"
From MaRDI portal
The following pages link to A Terminating and Confluent Linear Lambda Calculus (Q3527292):
Displaying 6 items.
- A short proof that adding some permutation rules to \(\beta \) preserves SN (Q631758) (← links)
- Resource operators for \(\lambda\)-calculus (Q876041) (← links)
- A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4 (Q5089022) (← links)
- How to prove decidability of equational theories with second-order computation analyser SOL (Q5110922) (← links)
- (Q5119390) (← links)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic (Q6137846) (← links)
