A homotopy-theoretic model of function extensionality in the effective topos.
Daniil FruminBenno van den BergPublished in: Math. Struct. Comput. Sci. (2019)
Keyphrases
- statistical model
- experimental data
- mathematical model
- probabilistic model
- artificial intelligence
- information systems
- data sets
- formal model
- theoretical framework
- computational model
- prediction model
- d objects
- management system
- probability distribution
- cost function
- recommender systems
- high level
- case study
- decision trees