The Equivalence of the Torus and the Product of Two Circles in Homotopy Type Theory.

Kristina Sojakova

Published in: ACM Trans. Comput. Log. (2016)

Keyphrases

theoretical framework
general theory
computer vision
control system
website
information technology
software engineering
hough transform
fixed point
computational models
information theory
decision theory
formal theory