Combining Linear Logic and Size Types for Implicit Complexity.

Patrick Baillot Alexis Ghyselen

Published in: CSL (2018)

Keyphrases

linear logic
space complexity
computational complexity
memory requirements
worst case
machine learning
artificial intelligence
fixed point
proof search
high level
higher order
random variables
decision problems
proof theoretic