Size Matters in Univalent Foundations.

Tom de Jong Martín Hötzel Escardó

Published in: CoRR (2021)

Keyphrases

memory requirements
databases
artificial intelligence
real time
high level
scales linearly
digital libraries
computational complexity
cooperative
data structure
reinforcement learning
training data
clustering algorithm
web services
e learning
machine learning
data sets