The Biequivalence of Path Categories and Axiomatic Martin-Lf Type Theories.

Danil Otten, Matteo Spadetto

Browse the full CSL paper archive.