Parametric Cubical Type Theory.

Evan Cavallo Robert Harper

Published in: CoRR (2019)

Keyphrases

computational model
neural network
data mining
website
digital images
social networks
information systems
multiscale
multi agent
multiresolution
theoretical framework
information theory
theoretical basis
decision theory