News

Publication of a paper presented at the 9th Conference on Logical and Semantic Frameworks, with Applications

September 30, 2014

The article "Formalisation in Constructive Type Theory of Stoughton's Substitution for the Lambda Calculus," by faculty members from the School of Engineering, was published in the proceedings of the 9th Logical and Semantic Frameworks, with Applications (LSFA 2014), available in *Electronic Notes in Theoretical Computer Science*. The event, organized by the University of Brasília, took place on September 8 and 9, 2014, in Brasília.

The authors of the article are:

Dr. Álvaro Tasistro, professor of Computer Science and academic coordinator of the Master’s Program in Engineering (Research Track).
Dr. Nora Szasz, Academic Coordinator of Systems Engineering.
Ernesto Copello, Ph.D., Research Assistant and Professor of Computer Science.

The paper was presented at the event by Dr. Tasistro and Mr. Copello under the title "Formalization of Stoughton's Substitution for Lambda Calculus in Constructive Type Theory."