Denotational Semantics for Polarized (But-non-constrainted) LK by Means of the Additives.

Lorenzo Tortora de Falco

Published in: Kurt Gödel Colloquium (1997)

Keyphrases

denotational semantics
programming language
object oriented
operational semantics
multi agent
relational databases
expressive power