A Construction of Typed Lambda Models Related to Feasible Computability.

Vladimir Yu. Sazonov Andrei Voronkov

Published in: Kurt Gödel Colloquium (1993)

Keyphrases

statistical models
accurate models
artificial intelligence
probabilistic model
statistical model
database
real world
least squares
machine learning algorithms
autoregressive
lambda calculus