45 citations · 237 across the 53 of their papers we have counts for
1 paper · 2 filters
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…