A Complete Mechanization of Second-Order Type Theory.

Tomasz Pietrzykowski

Published in: J. ACM (1973)

Keyphrases

general theory
higher order
information retrieval
theoretical framework
theoretical basis
formal theory
data structure
probability theory
high order
hidden markov models
data sets
image processing
knowledge base
decision making
machine learning
neural network
databases