45 citations · 96 across the 11 of their papers we have counts for
1 paper · 1 filter
Jiri Adamek, Stefan Milius, Jiri Velebil
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 El…