Profesor Éric Tanter publica investigación en prestigiosa revista de la ACM
«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 the ACM (JACM), que es la revista más prestigiosa en computación y de alcance máximo.
El profesor del DCC explicó que los asistentes a la demostración (“proof assistants”) como Coq, Agda o Lean, permiten escribir enunciados matemáticos y llevar a cabo su demostración formal, usando la máquina como mecanismo de verificación automático que asegura que la demostración formal …
Fte: DCC. FCFM, jueves 18 de marzo 2021
Categorias: Facultad de Ciencias Físicas y Matemáticas