Buscar en dspace
Browse
All of DSpaceCommunities & CollectionsAuthorsTitlesSubjectsBy Issue DateThis CollectionAuthorsTitlesSubjectsBy Issue Date
Abstract
Demostración de teoremas y ejercicios lógicos utilizando Scala, y la correspondencia de Curry-Howard.
Description
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
Collections