Profesor Éric Tanter publica investigación en prestigiosa revista de la ACM
19 marzo, 2021 Categoría: Facultad de Ciencias Físicas y Matemáticas«The Marriage of Univalence and Parametricity”, se titula el artículo del profesor del Departamento de Ciencias de la Computación (DCC) Éric Tanter, junto a los investigadores de Inria Nicolas Tabareau y Matthieu Sozeau, el cual fue publicado en el Journal of... Ver artículo