Semantics of Intensional Type Theory extended with Decidable Equational Theories.

Qian Wang, Bruno Barras

Browse the full CSL paper archive.