Pages that link to "Item:Q2700785"
From MaRDI portal
The following pages link to Type-theoretic approaches to ordinals (Q2700785):
Displaying 6 items.
- Ordinals. II: Some applications and a functorial approach (Q1817061) (← links)
- Formalizing calendars with the category of ordinals (Q1863915) (← links)
- A remark on order-types. (Q3229490) (← links)
- (Q3380095) (← links)
- Zermelo’s Well-Ordering Theorem in Type Theory (Q3612443) (← links)
- Type-Theoretic Approaches to Ordinals (Q6407227) (← links)