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

Matthieu Perrinel. Paths-based criteria and application to linear logic subsystems characterizing polynomial time. Inf. Comput., 261(Part):23-54, 2018. [doi]

Abstract

Abstract is missing.