Login / Signup

On phase semantics and denotational semantics: the exponentials.

Antonio BucciarelliThomas Ehrhard
Published in: Ann. Pure Appl. Log. (2001)
Keyphrases
  • denotational semantics
  • programming language
  • operational semantics
  • query language
  • abstract data types
  • database
  • artificial intelligence
  • high level
  • general purpose
  • multi agent
  • logic programming
  • linear logic