Programming Language Theory Concept
Denotational semantics
Books
Journey Statuslearning
A style of semantics that gives meanings to terms compositionally by mapping them to mathematical objects that possess interesting behaviors.
A style of semantics that gives meanings to terms compositionally by mapping them to mathematical objects that possess interesting behaviors.