1 paper
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…