Categorías en programación lógica
por Pierre-Louis Curien · 1989
Ver sugerenciasdivulgacionprogramacion 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.
divulgacionprogramacion logicateoria de categoriassemantica computacionalmatematicas de la computacion
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.