La semántica de los lenguajes de programación funcional: Una aproximación categórica
por Carl A. Gunter · 1992
Sinopsis
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.
Sé el primero en valorar este libro.
Más de Carl A. Gunter
Ver autor →Otras obras del mismo autor en el catálogo
La semántica de los lenguajes de programación
1992
Computation and Complexity
1996
Secure Computation
1999
Mathematical Foundations of Computer Science
2001
Models of Computation
2003
Computational Logic
2005
Theory of Computation
2007
Introduction to Algorithm Analysis
2009
Principles of Cybersecurity
2011
Advanced Topics in Computer Science
2014
Mathematical Models in Computer Science
2016
Libros similares
Libros relacionados según distintos criterios de búsqueda