Categorías en programación lógica
1989·no ficcion
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.
francés
Pierre-Louis Curien fue un destacado matemático y profesor francés, reconocido por sus contribuciones a la teoría de categorías y la lógica matemática. Su trabajo ha influido en el desarrollo de conceptos fundamentales en programación y teoría computacional.
1989·no ficcion
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.
Aparecen junto a Pierre-Louis Curien en búsquedas del archivo