Pages that link to "Item:Q877259"
From MaRDI portal
The following pages link to Light affine lambda calculus and polynomial time strong normalization (Q877259):
Displaying 5 items.
- A semantic account of strong normalization in linear logic (Q276260) (← links)
- Type inference for light affine logic via constraints on words (Q703485) (← links)
- Light types for polynomial time computation in lambda calculus (Q1004289) (← links)
- Quantum implicit computational complexity (Q1044836) (← links)
- Characterizing polynomial and exponential complexity classes in elementary lambda-calculus (Q1640981) (← links)
