Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras.

Martn Htzel Escard, Thomas Streicher

Browse the full LICS paper archive.