The following pages link to Inductive-Inductive Definitions (Q3586059):
Displaying 9 items.
- Viewing \({\lambda}\)-terms through maps (Q740485) (← links)
- Finitary higher inductive types in the groupoid model (Q2130587) (← links)
- Intuitionistic fixed point logic (Q2220485) (← links)
- (Q4989403) (← links)
- On generalized algebraic theories and categories with families (Q5084311) (← links)
- Indexed containers (Q5371943) (← links)
- Interactive programming in Agda – Objects and graphical user interfaces (Q5372002) (← links)
- Normalization by evaluation for modal dependent type theory (Q6065506) (← links)
- For Finitary Induction-Induction, Induction is Enough (Q6079233) (← links)
