The following pages link to A logical account of pspace (Q3189832):
Displaying 7 items.
- The role of polymorphism in the characterisation of complexity by soft types (Q276263) (← links)
- Bounded combinatory logic and lower complexity (Q276270) (← links)
- Linear logic by levels and bounded time complexity (Q1044841) (← links)
- Types for complexity of parallel computation in pi-calculus (Q2233448) (← links)
- On the expressivity of elementary linear logic: characterizing Ptime and an exponential time hierarchy (Q2343123) (← links)
- Soft linear logic and polynomial complexity classes (Q2866738) (← links)
- (Q5094117) (← links)