On Exploiting the Structure of Martin-Löf's Theory of Types.

Published in: Comput. J. (1993)

Keyphrases

structural information
theoretical framework
tree structure
database
decision making
image processing
wide range
learning environment
digital libraries
expert systems
hidden markov models
network structure
general theory