Internal type theory (0)

by P Dybjer
Venue:Types for Proofs and Programs, International Workshop TYPES’95