Pages that link to "Item:Q6159924"
From MaRDI portal
The following pages link to Predicative Aspects of Order Theory in Univalent Foundations (Q6159924):
Displaying 8 items.
- On the well-foundedness of adequate orders used for construction of complete unfolding prefixes (Q2380011) (← links)
- (Q4395577) (← links)
- A Note on (Meta)predicative Wellordering Proofs (Q5013902) (← links)
- The Scott model of PCF in univalent type theory (Q5055497) (← links)
- (Q5156853) (← links)
- On Small Types in Univalent Foundations (Q6135756) (← links)
- Apartness, sharp elements, and the Scott topology of domains (Q6190408) (← links)
- Sharp elements and apartness in domains (Q6653753) (← links)