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