The following pages link to Theoretical Computer Science (Q5897348):
Displayed 6 items.
- The role of polymorphism in the characterisation of complexity by soft types (Q276263) (← links)
- Light linear logics with controlled weakening: expressibility, confluent strong normalization (Q408540) (← links)
- Light affine lambda calculus and polynomial time strong normalization (Q877259) (← links)
- Linear logic by levels and bounded time complexity (Q1044841) (← links)
- A By-Level Analysis of Multiplicative Exponential Linear Logic (Q3182938) (← links)
- Light Linear Logic with Controlled Weakening (Q3605533) (← links)