Pruebas y Tipos

Sinopsis

Este libro aborda el trasfondo matemático de la aplicación de aspectos de la lógica (específicamente la correspondencia entre proposiciones y tipos) a la informática. Explora la relación entre la demostración matemática y los sistemas de tipos en programación.