Browsing by Subject "Programación con tipos dependientes"
Now showing items 1-1 of 1
-
Formalización de fundaciones de la matemática y compiladores correctos por construcción
(2019)Dentro de las teorías fundacionales de la matemática se encuentran la Teoría de Conjuntos y la Teoría de Tipos. La primera es bien conocida en la comunidad matemática; la teoría de tipos además de ser una posible fundación, ...