IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Talk "A Coalgebraic Foundation for Coinductive Union Types"

by Marcello Bonsangue

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