Computational Higher Type Theory III: Univalent Universes and Exact Equality.

Carlo Angiuli Kuen-Bang Hou Robert Harper

Published in: CoRR (2017)

Keyphrases

theoretical basis
formal theory
computational models
case study
search algorithm
database
machine learning
artificial intelligence
feature selection
knowledge base
decision trees
relational databases
multiresolution
theoretical foundation
database query languages