Broadening the denotational semantics of linear logic.
Vaughan R. PrattPublished in: Electron. Notes Theor. Comput. Sci. (1996)
Keyphrases
- denotational semantics
- linear logic
- programming language
- logic programming
- operational semantics
- proof theoretic
- fixed point
- intuitionistic logic
- cut elimination
- sequent calculus
- query language
- logical framework
- abstract data types
- desirable properties
- general purpose
- inference rules
- object oriented
- formal semantics
- object oriented databases
- autonomous agents
- databases