Robert Harper

Homotopy Type Theory is a new area of research, combining ideas from homotopy theory (a branch of topology) and dependent type theory (a formal system studied in mathematical logic and theoretical computer science). It is based on the realization...