neerlandés
H.P. Barendregt es un destacado lógico y teórico de la computación, conocido por sus contribuciones en el campo de la semántica de lenguajes de programación y la teoría de tipos. Su trabajo ha tenido un impacto significativo en la manera en que entendemos la computación en términos de formalismos matemáticos.
1984·divulgacion
Aunque es un texto más académico, presenta una introducción exhaustiva al lambda-cálculo de Church, la base matemática de la programación funcional. Explora la computabilidad, la recursión y la evaluación de expresiones de una manera rigurosa.
Aparecen junto a H.P. Barendregt en búsquedas del archivo
