10 citations · 10 across the 1 of their papers we have counts for
1 paper
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks +2
We present a coinductive framework for defining and reasoning about the infinitary analogues of equational logic and term rewriting in a uniform, coinductive way. The setup capture…