English Homotopy type theory Cited by user Greenrd on 26 Jul 2014 In mathematical logic and computer science, homotopy type theory (HoTT) refers to various lines of development of intensional type theory, based on the interpretation of…