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, y la Dra. Nora Szasz, Coordinadora Académica de Ingeniería en Sistemas, fue aceptado el 15 de noviembre de 2012 para su publicación en la revista “International Journal of Logic and Computation” (volumen 3 - diciembre 2012). Es editada por CSC Journals.