Abstract

Demostración de teoremas y ejercicios lógicos utilizando Scala, y la correspondencia de Curry-Howard.

Quotes

plumx
0 citations in WOS
0 citations in

Journal Title

Journal ISSN

Volume Title

Publisher

Universidad Rey Juan Carlos

URL external

URI

https://hdl.handle.net/10115/32579

DOI

Date

2024-04-26

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

Keywords

Scala , Curry-Howard , Lógica , Programación funcional , Demostración de teoremas , Deducción natural , Método de resolución , Knights and Knaves

Citation

Collections

Trabajos Fin de Grado

Endorsement

Review

Supplemented By

Referenced By

Statistics

Views
77
Downloads
155

Bibliographic managers

Document viewer

Select a file to preview:
Reload