Homotopy Type Theory for Big Data.

Tosiyasu L. Kunii, Masaki Hilaga

Browse the full CW paper archive.