Univalent Foundations and the UniMath Library.

Published in: CoRR (2017)

Keyphrases

artificial intelligence
real world
data mining
cooperative
high dimensional
databases
object recognition
relational databases
artificial neural networks
public libraries