Investigations into intensional type theory (1993)

by T Streicher