A denotational semantics for the symmetric interaction combinators.

Published in: Math. Struct. Comput. Sci. (2007)

Keyphrases

denotational semantics
programming language
user interaction
operational semantics
artificial intelligence
query language
human computer interaction
databases
video sequences
preprocessing
management system
data management
complex objects
recursive functions