Login / Signup
Applications of Type Theory.
Bernd Mahr
Published in:
TAPSOFT (1993)
Keyphrases
</>
formal theory
neural network
information retrieval
learning environment
data model
information theory
theoretical basis
computer vision
multiscale
objective function
optimal solution
theoretical framework
conceptual framework
decision theory
type checking