Internal ∞-Categorical Models of Dependent Type Theory: Towards 2LTT Eating HoTT.

Published in: CoRR (2020)

Keyphrases

experimental data
mathematical models
theoretical framework
probabilistic model
neural network
complex systems
genetic algorithm
multi agent systems
prior knowledge
website
computer vision
data mining
databases
linear model
modeling framework
formal models
accurate models