Construcción Formal de Programas en Teoría de Tipos

Verificación y derivación formal de programas funcionales

Descargar