The following pages link to Wellfounded trees in categories (Q1577483):
Displayed 13 items.
- Inductive types and exact completion (Q556819) (← links)
- Well-foundedness in realizability (Q850808) (← links)
- Non-well-founded trees in categories (Q876383) (← links)
- The associated sheaf functor theorem in algebraic set theory (Q958487) (← links)
- Aspects of predicative algebraic set theory. I: Exact completion (Q958492) (← links)
- Wellfounded trees in categories (Q1577483) (← links)
- Combining effects: sum and tensor (Q2500483) (← links)
- Containers: Constructing strictly positive types (Q2566024) (← links)
- Heyting-valued interpretations for constructive set theory (Q2575769) (← links)
- A Brief Introduction to Algebraic Set Theory (Q3616432) (← links)
- The generalised type-theoretic interpretation of constructive set theory (Q5477624) (← links)
- Algebraic set theory and the effective topos (Q5718693) (← links)
- Type theories, toposes and constructive set theory: Predicative aspects of AST (Q5957856) (← links)