Programs with Continuations and Linear Logic.

Shin-ya Nishizaki

Published in: Sci. Comput. Program. (1993)

Keyphrases

linear logic
fixed point
sequent calculus
intuitionistic logic
logic programming
proof theoretic
cut elimination
logical framework
proof search
machine learning
desirable properties
database systems
reinforcement learning