Denotational Semantics with Nominal Scott Domains.

Steffen Lösch Andrew M. Pitts

Published in: J. ACM (2014)

Keyphrases

denotational semantics
programming language
real world
operational semantics
multi agent systems
databases
artificial intelligence
image sequences
query language
management system
sensor networks
software engineering
incomplete information