Internal type theory (1996)

by P Dybjer
Venue:In TYPES ’95, Types for Proofs and Programs, number 1158 in Lecture Notes in Computer Science