"Dual Calculus with Inductive and Coinductive Types."

Daisuke Kimura, Makoto Tatsuta (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics