Existential Type Systems with No Types in Terms.

Ken-etsu Fujita Aleksy Schubert

Published in: TLCA (2009)

Keyphrases

mobile robot
multiple types
neural network
co occurrence
distributed systems
computer systems
building blocks
learning algorithm
image processing
expert systems
knowledge based systems