César Muñoz. Dependent Types with Explicit Substitutiuons: A Meta-theoretical development. In Eduardo Giménez, Christine Paulin-Mohring, editors, Types for Proofs and Programs, International Workshop TYPES 96, Aussois, France, December 15-19, 1996, Selected Papers. Volume 1512 of Lecture Notes in Computer Science, pages 294-316, Springer, 1996.
@inproceedings{Munoz96, title = {Dependent Types with Explicit Substitutiuons: A Meta-theoretical development}, author = {César Muñoz}, year = {1996}, tags = {meta-model, model-driven development, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/Munoz96}, cites = {0}, citedby = {0}, pages = {294-316}, booktitle = {Types for Proofs and Programs, International Workshop TYPES 96, Aussois, France, December 15-19, 1996, Selected Papers}, editor = {Eduardo Giménez and Christine Paulin-Mohring}, volume = {1512}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-65137-3}, }