Pages that link to "Item:Q876383"
From MaRDI portal
The following pages link to Non-well-founded trees in categories (Q876383):
Displaying 7 items.
- The graph conception of set (Q742483) (← links)
- Wellfounded trees in categories (Q1577483) (← links)
- Non-deterministic inductive definitions (Q1935375) (← links)
- Containers: Constructing strictly positive types (Q2566024) (← links)
- (Q3121528) (← links)
- (Q5014439) (← links)
- W-types in homotopy type theory (Q5740651) (← links)