Some Normalization Properties of Martin-Löf's Type Theory, and Applications.

David A. Basin Douglas J. Howe

Published in: TACS (1991)

Keyphrases

desirable properties
theoretical framework
general theory
database
real world
knowledge base
website
image sequences
bayesian networks
multiscale
search algorithm
hidden markov models
computational model
theoretical basis