Observational equivalences for linear logic concurrent constraint languages.
Rémy HaemmerléPublished in: Theory Pract. Log. Program. (2011)
Keyphrases
- linear logic
- sequent calculus
- fixed point
- logical framework
- desirable properties
- expressive power
- cut elimination
- constraint language
- intuitionistic logic
- relational algebra
- logic programming
- proof theoretic
- connected components
- proof search
- databases
- inference rules
- higher order
- bayesian networks
- artificial intelligence