Classes of Numeration Models of λ-Calculus.

Published in: Math. Log. Q. (1986)

Keyphrases

probabilistic model
model selection
modeling framework
multi agent systems
prior knowledge
data model
d objects
statistical models