Chairs: C. Cirstea, F. Gadducci, H. Schlingloff Past Chairmen: M. Roggenbach, L. Schröder, T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski
Wed, 08 January 2014 at 11:30 am in Theddingworth near Leicester, UK
Joint work with: J. Rot, D. Ancona, F. de Boer, and J. Rutten
Abstract: In this talk we introduce a coalgebraic foundation for coinductive types extended with set theoretic union, and including primitive types, product and record type constructors. The main results presented provide a rigorous basis for bisimulation and coinduction as main sound and complete proof techniques for checking inclusion of coinductive types, instead of using ordinary inductive inference systems.
Slides