César Muñoz. Dependent types and explicit substitutions: a meta-theoretical development. Mathematical Structures in Computer Science, 11(1):91-129, 2001.
@article{Munoz01, title = {Dependent types and explicit substitutions: a meta-theoretical development}, author = {César Muñoz}, year = {2001}, tags = {meta-model, model-driven development, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/Munoz01}, cites = {0}, citedby = {0}, journal = {Mathematical Structures in Computer Science}, volume = {11}, number = {1}, pages = {91-129}, }