Predicative Aspects of Order Theory in Univalent Foundations.

Tom de Jong, Martn Htzel Escard

Browse the full FSCD paper archive.