Pages that link to "Item:Q866215"
From MaRDI portal
The following pages link to On the internal structures of inductive types (Q866215):
Displaying 11 items.
- Total objects in inductively defined types (Q1374674) (← links)
- On the number of types (Q1708962) (← links)
- Refining inductive types (Q2890506) (← links)
- When Is a Type Refinement an Inductive Type? (Q3000600) (← links)
- Inductive Type Schemas as Functors (Q3434680) (← links)
- Structural subtyping for inductive types with functorial equality rules (Q3535679) (← links)
- (Q4357062) (← links)
- On the Structure of Mizar Types (Q4924547) (← links)
- Internal Parametricity for Cubical Type Theory (Q5874199) (← links)
- Semantics of constructions. I: The traditional approach (Q5934287) (← links)
- Builtin types viewed as inductive families (Q6535230) (← links)