Categorías para la Ciencia de la Computación
1990·no ficcion
Este libro introduce la teoría de categorías como una herramienta formal poderosa para modelar y comprender conceptos fundamentales en la ciencia de la computación, desde tipos de datos hasta semántica de lenguajes.

