Buscar en dspace
Listar
Todo DSpaceComunidades & ColeccionesAutoresTítulosMateriasPor fecha de publicaciónEsta colecciónAutoresTítulosMateriasPor fecha de publicación
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
Colecciones