Pages that link to "Item:Q1412830"
From MaRDI portal
The following pages link to Induction-recursion and initial algebras. (Q1412830):
Displaying 9 items.
- Predicativity and constructive mathematics (Q2080590) (← links)
- Intuitionistic fixed point logic (Q2220485) (← links)
- Indexed induction-recursion (Q2577476) (← links)
- Type-theoretic approaches to ordinals (Q2700785) (← links)
- Continuous Functions on Final Coalgebras (Q2805147) (← links)
- How to Reason Coinductively Informally (Q3305562) (← links)
- Three extensional models of type theory (Q3625679) (← links)
- An induction principle for nested datatypes in intensional type theory (Q3638923) (← links)
- Variations on inductive-recursive definitions (Q5111280) (← links)
