Constructing (Co)inductive Types via Large Sizes.

Bastiaan Laarakker, Danil Otten, Benno van den Berg

Browse the full FSCD paper archive.