Linear type theory for asynchronous session types.

Simon J. Gay Vasco Thudichum Vasconcelos

Published in: J. Funct. Program. (2010)

Keyphrases

multiple types
theoretical framework
multi agent
theoretical foundation
formal theory
neural network
decision making
decision trees
database systems
reinforcement learning
artificial neural networks
least squares
linear constraints
special features