An interpretation of dependent type theory in a model category of locally cartesian closed categories.

Martin E. Bidlingmaier

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

Keyphrases

formal model
high level
computational model
cost function
probabilistic model
theoretical foundation
genetic algorithm
neural network model
mathematical framework
learning algorithm
similarity measure
training data
multiscale
experimental data
conceptual framework