Partial Univalence in n-truncated Type Theory.

Christian Sattler Andrea Vezzosi

Published in: LICS (2020)

Keyphrases

database
three dimensional
theoretical framework
mathematical foundations
databases
neural network
machine learning
search engine
information systems
expert systems
theoretical foundation
theoretical basis
multiple types
general theory