Semantics of Interaction (Abstract).

Samson Abramsky

Published in: CAAP (1996)

Keyphrases

human computer interaction
formal semantics
user interaction
logic programming
higher level
high level
semantic information
propositional dynamic logic
databases
object oriented
programming language
graphical representation
model theoretic