Jasmin Christian Blanchette. Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions. In Gordon Fraser, Angelo Gargantini, editors, Tests and Proofs, 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings. Volume 6143 of Lecture Notes in Computer Science, pages 117-134, Springer, 2010. [doi]
Abstract is missing.