A Lambda-Evaluator Based on Interaction Nets.

Published in: Theory and Formal Methods (1994)

Keyphrases

human computer interaction
user interaction
neural network
human robot interaction
multi agent
interaction patterns
multimodal interaction
data sets
real world
computer vision
database systems
cooperative
augmented reality
fixed point