Healthiness from Duality. - Wataru Hino; Hiroki Kobayashi; Ichiro Hasuo; Bart Jacobs 001 (LICS, 2016)

Varieties of Metric and Quantitative Algebras. - Wataru Hino (CoRR, 2016)