Blázquez Teixeira, Sergio2024-04-262024-04-262024-04-26https://hdl.handle.net/10115/32579Trabajo Fin de Grado leído en la Universidad Rey Juan Carlos en el curso académico 2023/2024. Directores/as: Juan Manuel Serrano HidalgoDemostración de teoremas y ejercicios lógicos utilizando Scala, y la correspondencia de Curry-Howard.spaCreative Commons Atribución-CompartirIgual 4.0 Internacionalhttps://creativecommons.org/licenses/by-sa/4.0/legalcodeScalaCurry-HowardLógicaProgramación funcionalDemostración de teoremasDeducción naturalMétodo de resoluciónKnights and Knavesinfo:eu-repo/semantics/studentThesisinfo:eu-repo/semantics/openAccess