The following pages link to Theoretical Computer Science (Q5897348):
Displaying 17 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)
- Polynomial time in untyped elementary linear logic (Q1989326) (← links)
- A type-assignment of linear erasure and duplication (Q2193281) (← links)
- Sufficient conditions for cut elimination with complexity analysis (Q2461191) (← links)
- A By-Level Analysis of Multiplicative Exponential Linear Logic (Q3182938) (← links)
- Light Linear Logic with Controlled Weakening (Q3605533) (← links)
- An analysis of (linear) exponentials based on extended sequents (Q4221772) (← links)
- Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets (Q4635793) (← links)
- Encodings of Turing machines in linear logic (Q5139286) (← links)
- Computer Science Logic (Q5292638) (← links)
- Implicit computation complexity in higher-order programming languages (Q5875893) (← links)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic (Q6137846) (← links)
- Exponentials as substitutions and the cost of cut elimination in linear logic (Q6649484) (← links)
- Linear additives (Q6657785) (← links)