Interpreting a finitary pi-calculus in differential interaction nets.

Thomas Ehrhard Olivier Laurent

Published in: Inf. Comput. (2010)

Keyphrases

human computer interaction
finite state
neural network
user interaction
machine learning
provably correct
artificial intelligence
mathematical model