Three extensional models of type theory.
Benno van den BergPublished in: Math. Struct. Comput. Sci. (2009)
Keyphrases
- theoretical models
- computational models
- probabilistic model
- statistical models
- mathematical framework
- experimental data
- complex systems
- search engine
- theoretical framework
- computational model
- decision making
- data sets
- statistical methods
- information systems
- mathematical models
- theoretical basis
- decision theory
- modeling framework
- accurate models
- real world