Paths-based criteria and application to linear logic subsystems characterizing polynomial time.

Matthieu Perrinel

Published in: CoRR (2017)

Keyphrases

linear logic
special case
cut elimination
artificial intelligence
natural language
general purpose
depth map
desirable properties