Call-By-Push-Value from a Linear Logic Point of View.

Published in: ESOP (2016)

Keyphrases

linear logic
fixed point
proof theoretic
desirable properties
logic programming
cut elimination
logical framework
intuitionistic logic
sequent calculus
proof search
machine learning
search space
natural deduction