A Coalgebraic Foundation for Coinductive Union Types.

Marcello M. Bonsangue, Jurriaan Rot, Davide Ancona, Frank S. de Boer, Jan J. M. M. Rutten

Browse the full ICALP paper archive.