Stratified coherence spaces: a denotational semantics for light linear logic.
Patrick BaillotPublished in: Theor. Comput. Sci. (2004)
Keyphrases
- linear logic
- denotational semantics
- programming language
- logic programming
- fixed point
- operational semantics
- query language
- cut elimination
- proof theoretic
- logical framework
- sequent calculus
- intuitionistic logic
- desirable properties
- abstract data types
- inference rules
- artificial intelligence
- relational databases
- expert systems
- high level