Sciweavers

CORR
2006
Springer

Elgot Algebras

13 years 11 months ago
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
Jirí Adámek, Stefan Milius, Jiri Vel
Added 11 Dec 2010
Updated 11 Dec 2010
Type Journal
Year 2006
Where CORR
Authors Jirí Adámek, Stefan Milius, Jiri Velebil
Comments (0)