A model of Clocked Cubical Type Theory.

Magnus Baunsgaard Kristensen Rasmus Ejlers Møgelberg Andrea Vezzosi

Published in: CoRR (2021)

Keyphrases

computational model
theoretical framework
experimental data
formal model
theoretical foundation
high level
neural network model
data sets
machine learning
multi agent
least squares
input data
em algorithm
computational models
mathematical framework