A type system for PSPACE derived from light linear logic

Lucien Capedevielle

Published in: DICE (2011)

Keyphrases

linear logic
logic programming
fixed point
desirable properties
sequent calculus
cut elimination