An Interpretation of Martin-Lof's Type Theory in a Type-Free Theory of Propositions.

Published in: J. Symb. Log. (1984)

Keyphrases

theoretical basis
theoretical framework
database
multiple types
decision making
real time
artificial intelligence
computational model
objective function
general theory
mobile robot
support vector
multiscale
image segmentation
social networks
search engine
machine learning
data mining
neural network