Impredicative Encodings of Inductive and Coinductive Types.

Steven Bronsveld, Herman Geuvers, Niels van der Weide

Browse the full FSCD paper archive.