@Inproceedings{EPTCS274.3,
author = {Copes, Mart\'in and Szasz, Nora and Tasistro, \'Alvaro},
year = {2018},
title = {Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution},
editor = {Blanqui, Fr\'ed\'eric and Reis, Giselle},
booktitle = {{\rm Proceedings of the 13th International Workshop on}
Logical Frameworks and Meta-Languages: Theory and Practice,
{\rm Oxford, UK, 7th July 2018}},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {274},
publisher = {Open Publishing Association},
pages = {27-41},
doi = {10.4204/EPTCS.274.3},
}