111 citations · 528 across the 50 of their papers we have counts for
1 paper · 1 filter
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks +2
We present a coinductive framework for defining infinitary analogues of equational reasoning and rewriting in a uniform way. We define the relation =^infty, notion of infinitary eq…