estadounidense
Carl A. Gunter es un destacado científico en el campo de la informática, reconocido por sus contribuciones a la teoría de la computación y la seguridad informática. Su trabajo ha tenido un impacto significativo en el desarrollo de modelos matemáticos aplicados a la informática moderna.
1992·filosofia
Este libro explora los fundamentos teóricos de la semántica de los lenguajes de programación, proporcionando un marco matemático riguroso para entender el significado preciso de los programas informáticos.
Explora cómo la teoría de categorías puede proporcionar un marco formal y consistente para definir la semántica de los lenguajes de programación funcional.
Este libro explora los diferentes modelos de computación, analizando su relación y aplicabilidad en la teoría de la computación y el diseño de algoritmos. Gunter presenta conceptos técnicos de manera accesible para lectores interesados en la computación formal.
Aparecen junto a Carl A. Gunter en búsquedas del archivo
