Ernesto Copello, Nora Szasz, Alvaro Tasistro. Formal metatheory of the Lambda calculus using Stoughton's substitution. Theoretical Computer Science, 685:65-82, 2017. [doi]
@article{CopelloST17, title = {Formal metatheory of the Lambda calculus using Stoughton's substitution}, author = {Ernesto Copello and Nora Szasz and Alvaro Tasistro}, year = {2017}, doi = {10.1016/j.tcs.2016.08.025}, url = {https://doi.org/10.1016/j.tcs.2016.08.025}, researchr = {https://researchr.org/publication/CopelloST17}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {685}, pages = {65-82}, }