4 citations · 10 across the 7 of their papers we have counts for
1 paper · 1 filter
Daniel Leivant, Ramyaa Ramyaa
We propose a framework for reasoning about programs that manipulate coinductive data as well as inductive data. Our approach is based on using equational programs, which support a…