Partial Elements and Recursion via Dominances in Univalent Type Theory.

Martn Htzel Escard, Cory M. Knapp

Browse the full CSL paper archive.