Pages that link to "Item:Q5120229"
From MaRDI portal
The following pages link to Tight typings and split bounds, fully developed (Q5120229):
Displaying 7 items.
- The bang calculus revisited (Q2039931) (← links)
- (Q5076060) (← links)
- A Fresh Look at the λ-Calculus (Q5089000) (← links)
- Tight typings and split bounds, fully developed (Q5120229) (← links)
- (Q6079229) (← links)
- A faithful and quantitative notion of distant reduction for the lambda-calculus with generalized applications (Q6597960) (← links)
- Strong call-by-value and multi types (Q6605354) (← links)