Homotopy-Theoretic Models of Type Theory.

Peter Arndt Krzysztof Kapulkin

Published in: TLCA (2011)

Keyphrases

mathematical models
computational models
mathematical framework
neural network
statistical models
imprecise probabilities
data sets
modeling framework
empirical data
belief functions
neural network model
statistical methods
statistical model
complex systems
probabilistic model
hidden markov models
expert systems