Towards Formalizing Categorical Models of Type Theory in Type Theory.

Alexandre Buisse Peter Dybjer

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

probabilistic model
real time
three dimensional
mathematical models
cognitive models
decision making
evolutionary algorithm
machine learning algorithms
complex systems
computational models
parametric models
empirical data
mathematical framework
accurate models
theoretical models