Buscar en dspace
Parcourir
Tout DSpaceCommunautés & CollectionsAuteursTitresSujetsPar date de publicationCette collectionAuteursTitresSujetsPar date de publication
Résumé
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
Colecciones