Internal type theory, in: TYPES ’95, Types for Proofs and (1996)

by P Dybjer
Venue:Programs, Lecture Notes in Computer Science