61 citations · 90 across the 12 of their papers we have counts for
1 paper · 2 filters
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…