1 citations · 2 across the 3 of their papers we have counts for
3 papers
math.LO2017
Continuous Varieties of Metric and Quantitative Algebras
Wataru Hino
A metric algebra is a metric variant of the notion of -algebra, first introduced in universal algebra to deal with algebras equipped with metric structures such as normed vector…
cs.LO2016★ 1 cited
Varieties of Metric and Quantitative Algebras
Wataru Hino
Metric algebras are metric variants of -algebras. They are first introduced in the field of universal algebra to deal with algebras equipped with metric structures such as norme…
cs.LO2016★ 1 cited
Healthiness from Duality
Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo +1
Healthiness is a good old question in program logics that dates back to Dijkstra. It asks for an intrinsic characterization of those predicate transformers which arise as the (back…