DEMOSTRACIÓN DE TEOREMAS MEDIANTE LENGUAJES FUNCIONALES
Fecha
2024-04-26
Autores
Título de la revista
ISSN de la revista
Título del volumen
Editor
Universidad Rey Juan Carlos
Enlace externo
Resumen
Demostración de teoremas y ejercicios lógicos utilizando Scala, y la correspondencia de Curry-Howard.
Descripción
Trabajo Fin de Grado leído en la Universidad Rey Juan Carlos en el curso académico 2023/2024. Directores/as: Juan Manuel Serrano Hidalgo
Palabras clave
Citación
Colecciones
Excepto si se señala otra cosa, la licencia del ítem se describe como Creative Commons Atribución-CompartirIgual 4.0 Internacional