Sign in
Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic.
Beniamino Accattoli
Published in:
Log. Methods Comput. Sci. (2023)
Keyphrases
</>
linear logic
cut elimination
sequent calculus
fixed point
logic programming
proof theoretic
desirable properties
logical framework
intuitionistic logic
proof search
linear time temporal logic
natural language
logic programs
euclidean space