Dual Calculus with Inductive and Coinductive Types - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Daisuke Kimura' in GoogleThis author has not been identified. Look up 'Makoto Tatsuta' in Google

runs on WebDSL