Buscar
Mostrando ítems 1-1 de 1
Trabajo Fin de Grado
Lógica de primer orden en Haskell
(2017-06)
This final degree project consists in the implementation of First Order Logic theory and algorithms in Haskell, a functional programming language. Furthermore, a relation between maths and programming based on Curry-Howard ...