Pages that link to "Item:Q1854460"
From MaRDI portal
The following pages link to Parallel beta reduction is not elementary recursive (Q1854460):
Displaying 9 items.
- Light logics and optimal reduction: completeness and complexity (Q627123) (← links)
- Coherence for sharing proof-nets (Q1398472) (← links)
- Relating conflict-free stable transition and event models via redex families (Q1608893) (← links)
- (Optimal) duplication is not elementary recursive (Q1881231) (← links)
- Linear dependent types in a call-by-value scenario (Q2441513) (← links)
- Strongly reducing variants of the Krivine abstract machine (Q2464720) (← links)
- The Useful MAM, a Reasonable Implementation of the Strong $$\lambda $$ -Calculus (Q2820681) (← links)
- A Fresh Look at the λ-Calculus (Q5089000) (← links)
- Is the Optimal Implementation Inefficient? Elementarily Not (Q5111313) (← links)
