Internal ∞-Categorical Models of Dependent Type Theory : Towards 2LTT Eating HoTT.
Nicolai KrausPublished in: LICS (2021)
Keyphrases
- mathematical models
- probabilistic model
- neural network
- statistical models
- experimental data
- theoretical framework
- accurate models
- modeling framework
- complex systems
- database
- computational model
- model selection
- multiscale
- website
- decision making
- computational models
- information systems
- theoretical basis
- empirical data
- artificial intelligence
- formal models
- real time