Healthiness from Duality.

Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo, Bart Jacobs

Browse the full LICS paper archive.