The following pages link to Inductive families (Q1336951):
Displaying 8 items.
- Containers, monads and induction recursion (Q5741557) (← links)
- (Q5875411) (← links)
- Inductively defined types in the Calculus of Constructions (Q5887516) (← links)
- Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic (Q6060672) (← links)
- Programming language semantics: It’s easy as 1,2,3 (Q6065508) (← links)
- Builtin types viewed as inductive families (Q6535230) (← links)
- A comparison of HOL and ALF formalizations of a categorical coherence theorem (Q6567701) (← links)
- Topological quantum gates in homotopy type theory (Q6584358) (← links)