Pages that link to "Item:Q2866738"
From MaRDI portal
The following pages link to Soft linear logic and polynomial complexity classes (Q2866738):
Displaying 10 items.
- The role of polymorphism in the characterisation of complexity by soft types (Q276263) (← links)
- Bounded combinatory logic and lower complexity (Q276270) (← links)
- Soft linear set theory (Q941435) (← links)
- Linear logic by levels and bounded time complexity (Q1044841) (← links)
- Paths-based criteria and application to linear logic subsystems characterizing polynomial time (Q1640980) (← links)
- Combining linear logic and size types for implicit complexity (Q1989323) (← links)
- On the expressivity of elementary linear logic: characterizing Ptime and an exponential time hierarchy (Q2343123) (← links)
- From light logics to type assignments: a case study (Q3644842) (← links)
- Foundations of Software Science and Computation Structures (Q5308440) (← links)
- Linear additives (Q6657785) (← links)