Manifest Fields and Module Mechanisms in Intensional Type Theory.

Published in: TYPES (2008)

Keyphrases

real world
artificial intelligence
three dimensional
theoretical framework
information theory
theoretical basis
general theory
fundamental principles
computer vision
evolutionary algorithm
probabilistic model
data integration
computational models