Natural Models of Homotopy Type Theory (Abstract).

Published in: WoLLIC (2013)

Keyphrases

mathematical models
case study
mathematical framework
theoretical basis
relational databases
low level
least squares
model selection
machine learning algorithms
computational model
theoretical framework
statistical model
experimental data
computational models
reinforcement learning
high level
knowledge base