News

Presentation of a paper at “9th Logical and Semantic Frameworks, with Applications”

September 18, 2014

The paper “Formalisation of Stoughton’s Substitution for Lambda Calculus in Constructive Type Theory,” authored by faculty members from the School of Engineering, was presented at the “9th Logical and Semantic Frameworks, with Applications (LSFA 2014).” The event, organized by the University of Brasília, took place on September 8 and 9, 2014, in Brasília.

Authors:
- Dr. Álvaro Tasistro, Professor of Computer Science and Academic Coordinator of the Master’s Program in Engineering (Research Track).
- Ernesto Copello, Engineer, Lecturer in Computer Science at the School of Engineering.
- Dr. Nora Szasz, Academic Coordinator of Systems Engineering.

Dr. Tasistro and Eng. Copello presented the article.