Combining linear logic and size types for implicit complexity.

Patrick Baillot Alexis Ghyselen

Published in: Theor. Comput. Sci. (2020)

Keyphrases

linear logic
space complexity
computational complexity
worst case
fixed point
memory requirements
logical framework
decision problems
intuitionistic logic
artificial intelligence
logic programming
query language
sequent calculus
proof theoretic