Imperative Object-Based Calculi in Co-inductive Type Theories.

Alberto Ciaffaglione Luigi Liquori Marino Miculan

Published in: LPAR (2003)

Keyphrases

machine learning
inductive learning
theoretical framework
real time
neural network
real world
genetic algorithm
information systems
decision making
multi agent
knowledge representation