On the structure of classical realizability models of ZF.

Jean-Louis Krivine

Published in: CoRR (2014)

Keyphrases

probabilistic model
expert systems
data model
neural network
website
hidden markov models
model selection
machine learning algorithms
statistical models
bayesian framework
computational models
graph structure
hidden variables