News

Paper presented at the peer-reviewed conference “NAT@Logic 2015: 10th Workshop on Logical and Semantic Frameworks, with Applications”

September 21, 2015
The article “Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory,” co-authored by faculty members from the School of Engineering, was presented at the peer-reviewed conference “NAT@Logic 2015: 10th Workshop on Logical and Semantic Frameworks, with Applications.” The event, organized by NAT@Logic 2015 at the Federal University of Rio Grande do Norte, took place on August 31 and September 1, 2015, in Natal, Brazil.

The authors of the article are:
- Ernesto Copello, B.S., research teaching assistant and professor of Computer Science at the School of Engineering
- Álvaro Tasistro, Ph.D., professor of Computer Science and academic coordinator of the Master’s in Engineering (by Research)
- Dr. Nora Szasz, academic coordinator of Systems Engineering
- Dr. Ana Bove, associate professor in the Department of Computer Science and Engineering at Chalmers University of Technology, Sweden
- Dr. Maribel Fernández, professor in the Computer Science area of the Department of Computer Science, King’s College London, United Kingdom.

The paper, accepted on June 8, 2015, for presentation at the conference, was presented by Dr. Copello.