Pages that link to "Item:Q1342250"
From MaRDI portal
The following pages link to Head linear reduction and pure proof net extraction (Q1342250):
Displaying 9 items.
- The relational model is injective for multiplicative exponential linear logic (without weakenings) (Q435194) (← links)
- Towards a geometry of recursion (Q534710) (← links)
- An algebraic view of the Böhm-out technique (Q1275631) (← links)
- Evaluating lambda terms with traversals (Q2007730) (← links)
- Taming Modal Impredicativity: Superlazy Reduction (Q3605525) (← links)
- Execution time of λ-terms via denotational semantics and intersection types (Q4577984) (← links)
- (Q4611381) (← links)
- Tight typings and split bounds, fully developed (Q5120229) (← links)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic (Q6137846) (← links)
