Formalización de fundaciones de la matemática y compiladores correctos por construcción

Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2019.

Bibliographic Details
Main Author: Gunther, Emmanuel
Other Authors: Pagano, Miguel María
Format: info:eu-repo/semantics/publishedVersion
Language:spa
Published: 2019
Subjects:
Online Access:http://hdl.handle.net/11086/14372