From normal functors to logarithmic space queries
We introduce a new approach to implicit complexity in linear logic, inspired by functional database query languages and using recent developments in effective denotational semantics of polymorphism. We give the first sub-polynomial upper bound in a type system with impredicative polymorphism; adding...
Main Authors: | , |
---|---|
Format: | Conference item |
Published: |
Schloss Dagstuhl
2019
|