Sequential Colimits in Homotopy Type Theory.

Kristina Sojakova Floris van Doorn Egbert Rijke

Published in: LICS (2020)

Keyphrases

theoretical basis
general theory
computer vision
three dimensional
theoretical framework
formal theory
real world
case study
information theory
machine learning
information systems
multiple types
grounded theory
sequential search