Linear Logic, Coherence, and Dinaturality.

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

Keyphrases

linear logic
fixed point
cut elimination
sequent calculus
logical framework
proof theoretic
logic programming
intuitionistic logic
proof search
desirable properties
data model
stereo matching
higher order
general purpose
knowledge representation
reinforcement learning
image segmentation
artificial intelligence