El artículo “Principal type scheme for session types” del Dr. Álvaro Tasistro, Catedrático de Teoría de la Computación y Coordinador Académico del Master en Ingeniería, el Ing. Ernesto Copello, Asistente Docente de Investigación y docente de Teoría de la Computación de la Facultad de Ingeniería, y la Dra. Nora Szasz, Coordinadora Académica de Ingeniería en Sistemas, fue publicado en diciembre de 2012 en la revista “International Journal of Logic and Computation” (volumen 3 – número 1). Es editada por CSC Journals.