Calculus in Coinductive Form.

Dusko Pavlovic, Martn Htzel Escard

Browse the full LICS paper archive.