Los autores del artículo son:
- Dr. Álvaro Tasistro, catedrático de Teoría de la Computación y coordinador académico del Master en Ingeniería (por Investigación).
- Dra. Nora Szasz, coordinadora académica de Ingeniería en Sistemas.
- Ing. Ernesto Copello, asistente docente de Investigación y Profesor de Teoría de la Computación.
El artículo fue presentado en el evento por el Dr. Tasistro y el Ing. Copello con el título "Formalisation of stoughton's substitution for lambda calculus in constructive type theory".