Dependent types and explicit substitutions: a meta-theoretical development

César Muñoz. Dependent types and explicit substitutions: a meta-theoretical development. Mathematical Structures in Computer Science, 11(1):91-129, 2001.

Possibly Related Publications

The following publications are possibly variants of this publication: