Dual Calculus with Inductive and Coinductive Types

Daisuke Kimura, Makoto Tatsuta. Dual Calculus with Inductive and Coinductive Types. In Ralf Treinen, editor, Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings. Volume 5595 of Lecture Notes in Computer Science, pages 224-238, Springer, 2009. [doi]

Abstract

Abstract is missing.