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: bachelorThesis publishedVersion
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
id I10-R14111086-15370
record_format dspace
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic Metaprogramación
Asistentes de prueba
Coq
Mtac2
Theory of computation
Logic
Proof theory
Type theory
spellingShingle Metaprogramación
Asistentes de prueba
Coq
Mtac2
Theory of computation
Logic
Proof theory
Type theory
Tiraboschi, Ignacio
Generalización de meta-programas con tipado dependiente en Mtac2
topic_facet Metaprogramación
Asistentes de prueba
Coq
Mtac2
Theory of computation
Logic
Proof theory
Type theory
description 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.
author2 Ziliani, Beta
author_facet Ziliani, Beta
Tiraboschi, Ignacio
format bachelorThesis
publishedVersion
author Tiraboschi, Ignacio
author_sort Tiraboschi, Ignacio
title Generalización de meta-programas con tipado dependiente en Mtac2
title_short Generalización de meta-programas con tipado dependiente en Mtac2
title_full Generalización de meta-programas con tipado dependiente en Mtac2
title_fullStr Generalización de meta-programas con tipado dependiente en Mtac2
title_full_unstemmed Generalización de meta-programas con tipado dependiente en Mtac2
title_sort generalización de meta-programas con tipado dependiente en mtac2
publishDate 2020
url http://hdl.handle.net/11086/15370
work_keys_str_mv AT tiraboschiignacio generalizaciondemetaprogramascontipadodependienteenmtac2
bdutipo_str Repositorios
_version_ 1764820393150906370

Ejemplares similares