Model structure on the universe of all types in interval type theory.
Simon BoulierNicolas TabareauPublished in: Math. Struct. Comput. Sci. (2021)
Keyphrases
- computational model
- mathematical model
- theoretical framework
- theoretical foundation
- formal model
- probabilistic model
- experimental data
- input data
- statistical model
- spatial structure
- neural network
- mathematical models
- conceptual framework
- simulation model
- computational models
- em algorithm
- level set
- multi agent
- high level