Dependent Types with Explicit Substitutions: A Metatheoretical development (0)

by César Muñoz
Venue:Types for Proofs and Programs, International Worskshop TYPES ’96. Springer-Verlag LNCS