Elgot Algebras

Denotational semantics can be based on algebras with additional structure (order, metric, etc.) which makes it possible to interpret recursive specifications. It was the idea of Elgot to base denotational semantics on iterative theories instead, i. e., theories in stract recursive specifications are required to have unique solutions. Later Bloom and

• Type: Journal
• Year: 2006
• Where: CORR
• Authors: Jirí Adámek, Stefan Milius, Jiri Velebil
• Keywords: Algebras, CORR 2006, Denotational Semantics, Education, Elgot Algebras