From Geometry of Interaction to Denotational Semantics.

Esfandiar Haghverdi Philip J. Scott

Published in: CTCS (2004)

Keyphrases

denotational semantics
programming language
three dimensional
user interaction
human computer interaction
operational semantics
abstract data types
query language
artificial intelligence
general purpose