An article by faculty members has been accepted for presentation at the “9th Logical and Semantic Frameworks, with Applications” conference

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