La visita se desarrolló en el marco del proyecto “Design of a Type-Checking Algorithm for a Nominal Dependent Type System - Towards a Nominal Logical Framework”, financiado por la Embajada Británica en Montevideo en el marco del llamado a proyectos en Ciencias e Innovación 2015.