A model of type theory in simplicial sets: A brief introduction to Voevodsky's homotopy type theory.
Thomas StreicherPublished in: J. Appl. Log. (2014)
Keyphrases
- computational model
- theoretical framework
- probabilistic model
- formal model
- statistical physics
- computational models
- mathematical framework
- multiscale
- conceptual framework
- statistical model
- experimental data
- portfolio theory
- database
- theoretical foundation
- mathematical model
- neural network model
- information theory
- parameter estimation
- multi agent
- web services
- general theory
- formal theory
- neural network
- real time