Paper de investigador IMFD es premiado en prestigiosa conferencia internacional
«Equivalences for Free: Univalent Parametricity for Effective Transport” se titula el trabajo de Éric Tanter, académico del Departamento de Ciencia de la Computación de la Universidad de Chile e investigador asociado del Instituto Milenio Fundamentos de los Datos, que -realizado en conjunto con los investigadores Nicolas Tabareau y Matthieu Sozeau, del French National Institute for…