2 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
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…