News

Article published in the peer-reviewed journal *Theoretical Computer Science*

June 19, 2017
The article “Formal Metatheory of the Lambda Calculus Using Stoughton’s Substitution,” written by researchers from the School of Engineering, was published in June 2017 in the peer-reviewed journal *Theoretical Computer Science*, published by Elsevier.

The authors are:
- Ernesto Copello, B.Eng., research teaching assistant at the School of Engineering.
- Nora Szasz, Ph.D., academic coordinator of Systems Engineering.
- Álvaro Tasistro, Ph.D., professor of Computer Science and academic coordinator of the Master’s in Engineering (Research Track).

The paper was accepted in August 2016. Although the journal’s cover date is July 2017, it was released in June.