Section 3: Semantic Algebras

Describes semantic domains, their associated construction, destruction, and its presentation in a semantic algebra format.

Primitive domains e.g. Nat, Bool, String

Compound domains e.g. Product, Function Space,

Recursive Domains

Previous slide

Next slide

Back to first slide

View graphic version