Pages that link to "Item:Q2343123"
From MaRDI portal
The following pages link to On the expressivity of elementary linear logic: characterizing Ptime and an exponential time hierarchy (Q2343123):
Displayed 6 items.
- Combining linear logic and size types for implicit complexity (Q1989323) (← links)
- Polynomial time in untyped elementary linear logic (Q1989326) (← links)
- (Q5079730) (← links)
- (Q5092325) (← links)
- Implicit computation complexity in higher-order programming languages (Q5875893) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)