Metadata
Author: WikiMatrix
Data
English[en]
The field has major applications in computer science, where it is used to specify denotational semantics, especially for functional programming languages.
Spanish[es]
Este campo tiene aplicaciones en las ciencias de la computación, donde es usado para especificar la semántica de los lenguajes de programación, especialmente de los lenguajes funcionales.