Observational equivalences for linear logic CC languages

Rémy Haemmerlé

Published in: CoRR (2011)

Keyphrases

linear logic
expressive power
fixed point
logic programming
proof theoretic
desirable properties
connected components
relational algebra
logical framework
sequent calculus
cut elimination
intuitionistic logic
machine learning
reinforcement learning
sufficient conditions
proof search