Realizability Models for Type Theories.

Published in: Electron. Notes Theor. Comput. Sci. (1999)

Keyphrases

probabilistic model
statistical models
real time
databases
real world
bayesian networks
pairwise
computational models
mathematical models
database
case study
prior knowledge
computational model
process model
metamodel
classification models