On a Model Invariance Problem in Homotopy Type Theory.
Anthony BordgPublished in: Appl. Categorical Struct. (2019)
Keyphrases
- computational model
- formal model
- theoretical framework
- data sets
- feature selection
- high level
- similarity measure
- mathematical framework
- prediction model
- markov chain
- management system
- mathematical model
- statistical model
- theoretical foundation
- probabilistic model
- objective function
- object model
- mathematical models
- linear model
- information retrieval