Constructing Infinitary Quotient-Inductive Types.

Marcelo P. Fiore, Andrew M. Pitts, S. C. Steenkamp

Browse the full FOSSACS paper archive.