Buscar en dspace
Stöbern
Gesamter BestandBereiche & SammlungenAutorenTitelnSchlagwortenErscheinungsdatumDiese SammlungAutorenTitelnSchlagwortenErscheinungsdatum
Zusammenfassung
Demostración de teoremas y ejercicios lógicos utilizando Scala, y la correspondencia de Curry-Howard.
Beschreibung
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