Local Computation in Linear Logic.

Ugo Solitro Silvio Valentini

Published in: Math. Log. Q. (1993)

Keyphrases

linear logic
sequent calculus
logic programming
fixed point
logical framework
cut elimination
proof theoretic
general purpose
reinforcement learning
video sequences
dynamic programming
inference rules
proof search