Higher Groups in Homotopy Type Theory.

Ulrik Buchholtz Floris van Doorn Egbert Rijke

Published in: LICS (2018)

Keyphrases

theoretical framework
theoretical basis
real time
computational model
significantly higher
formal theory
theoretical foundation
general theory
databases
decision trees
high level
wide range
lower bound
multiresolution
information theory