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

Beniamino Accattoli

Published in: LICS (2022)

Keyphrases

linear logic
cut elimination
sequent calculus
fixed point
proof theoretic
logical framework
intuitionistic logic
logic programming
proof search
desirable properties
machine learning
artificial intelligence
probabilistic model
higher order
linear time temporal logic