Investigations into intensional type theory (1993)

by T Streicher
Venue:Habilitationsschrift, LudwigMaximilians-Universität München