Natural models of homotopy type theory.

Published in: Math. Struct. Comput. Sci. (2018)

Keyphrases

probabilistic model
experimental data
data sets
theoretical framework
computational models
computational model
complex systems
mathematical framework
formal models
genetic algorithm
prior knowledge
model selection