2 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
François Bry
Coinduction refers to both a technique for the definition of infinite streams, so-called codata, and a technique for proving the equality of coinductively specified codata. This ar…