TY  - RPRT
TI  - Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution
AU  - Martín Copes
AU  - Nora Szasz
AU  - Álvaro Tasistro
PY  - 2018
DO  - 10.4204/eptcs.274.3
UR  - https://arxiv.org/abs/1807.01871
ID  - 1807.01871
ER  -