Novedades

Presentación de artículo en “9th Logical and Semantic Frameworks, with Applications”

18/09/2014

El artículo “Formalisation of stoughton's substitution for lambda calculus in constructive type theory”, cuyos autores son docentes de la Facultad de Ingeniería, fue presentado en “9th Logical and Semantic Frameworks, with Applications (LSFA 2014)”. El evento, organizado por la Universidad de Brasilia, tuvo lugar los días 8 y 9 de setiembre de 2014 en Brasilia.

Autores:
- Dr. Álvaro Tasistro, Catedrático de Teoría de la Computación y Coordinador Académico del Master en Ingeniería (por Investigación).
- Ing. Ernesto Copello, Docente de Teoría de la Computación de la Facultad de Ingeniería.
- Dra. Nora Szasz, Coordinadora Académica de Ingeniería en Sistemas.

El Dr. Tasistro y el Ing. Copello presentaron el artículo.