Guarded Cubical Type Theory.

Lars Birkedal Ales Bizjak Ranald Clouston Hans Bugge Grathwohl Bas Spitters Andrea Vezzosi

Published in: J. Autom. Reason. (2019)

Keyphrases

digital images
general theory
data sets
theoretical basis
search algorithm
theoretical framework
formal theory
computer vision
theoretical foundation
information theory