Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution. - Martín Copes; Nora Szasz; Álvaro Tasistro (LFMTP@FSCD, 2018)