Categorías en programación lógica
por Pierre-Louis Curien · 1989
no ficcionprogramacion logicateoria de categoriassemantica computacionalmatematicas de la computacion
Sinopsis
Este libro explora la interacción entre la teoría de categorías y la programación lógica, ofreciendo una base categórica para la semántica y la estructura de los lenguajes lógicos.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda