Towards a typed Geometry of Interaction.

Esfandiar Haghverdi Philip J. Scott

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

Keyphrases

human computer interaction
higher order
three dimensional
human interaction
machine learning
neural network
lambda calculus
user interaction
decision making
real world
real time
multi agent
viewpoint
mobile devices
bayesian networks
artificial intelligence
interaction design