francés
Gilles Kahn fue un destacado científico y matemático francés conocido por su trabajo en teoría de algoritmos y computación. Su investigación ha tenido un impacto significativo en el desarrollo de la informática moderna.
1987·divulgacion
Examina métodos rigurosos para definir el significado de los programas, incluyendo semántica operacional, denotacional y axiomática, crucial para la verificación y el diseño de lenguajes.
Este texto explora los principios fundamentales detrás del diseño y la implementación de lenguajes de programación, incluyendo conceptos como tipos, entornos, evaluación y semántica, de manera sistemática y rigurosa.
Aparecen junto a Gilles Kahn en búsquedas del archivo
