The following pages link to Refining inductive types (Q2890506):
Displaying 9 items.
- Indexed types (Q1389626) (← links)
- When Is a Type Refinement an Inductive Type? (Q3000600) (← links)
- (Q4234966) (← links)
- (Q4370251) (← links)
- An Isbell duality theorem for type refinement systems (Q4640309) (← links)
- (Q4842534) (← links)
- The essence of ornaments (Q5372005) (← links)
- Types for Proofs and Programs (Q5712325) (← links)
- Builtin types viewed as inductive families (Q6535230) (← links)