Login / Signup
Realizability Models for Type Theories.
Bernhard Reus
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