Type Arithmetics: Computation based on the theory of types

Published in: CoRR (2001)

Keyphrases

multiple types
theoretical framework
formal theory
general theory
machine learning
linear algebra
theoretical basis
computer science
computational model
logic programs
conceptual framework
belief functions
artificial neural networks
preprocessing
optimal solution
real world
efficiently computing