A Modern Perspective on Type Theory From its Origins until Today.

Harrie C. M. de Swart

Published in: J. Log. Lang. Inf. (2006)

Keyphrases

theoretical framework
viewpoint
neural network
computer vision
case study
three dimensional
search algorithm
theoretical basis
formal theory
database
general theory
multiple types
world wide
theoretical foundation
data model
expert systems
multiscale
image processing
information retrieval
real world