Modalities in homotopy type theory.

Egbert Rijke Michael Shulman Bas Spitters

Published in: CoRR (2017)

Keyphrases

theoretical foundation
neural network
machine learning
theoretical framework
information theory
general theory
formal theory
real time
artificial intelligence
data structure
real world
search engine
computer vision
similarity measure
relational databases