Behavioural Differential Equations and Coinduction for Binary Trees.

Alexandra Silva, Jan J. M. M. Rutten

Browse the full WoLLIC paper archive.