The following pages link to Bounded Linear Logic, Revisited (Q5894004):
Displayed 4 items.
- Paths-based criteria and application to linear logic subsystems characterizing polynomial time (Q1640980) (← links)
- (Q4580325) (← links)
- Implicit computation complexity in higher-order programming languages (Q5875893) (← links)
- A quantitative model for simply typed λ-calculus (Q5875894) (← links)