Generalización de meta-programas con tipado dependiente en Mtac2

Mostrar todas las versiones(2)

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

Guardado en:
Detalles Bibliográficos
Autor principal: Tiraboschi, Ignacio
Otros Autores: Ziliani, Beta
Formato: publishedVersion bachelorThesis
Lenguaje:Español
Publicado: 2020
Materias:
Metaprogramación
Asistentes de prueba
Coq
Mtac2
Theory of computation
Logic
Proof theory
Type theory
Acceso en línea:http://hdl.handle.net/11086/15370
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Ejemplares similares

Ejemplares similares