Partial Elements and Recursion via Dominances in Univalent Type Theory. - Martín Hötzel Escardó; Cory M. Knapp (CSL, 2017)

Partial functions and recursion in univalent type theory. - Cory M. Knapp (2018)

Partial Functions and Recursion in Univalent Type Theory. - Cory M. Knapp (CoRR, 2020)