Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic.

Beniamino Accattoli

Published in: CoRR (2022)

Keyphrases

linear logic
cut elimination
sequent calculus
proof theoretic
fixed point
logic programming
desirable properties
logical framework
intuitionistic logic
proof search
software engineering
machine learning