Pages that link to "Item:Q1374674"
From MaRDI portal
The following pages link to Total objects in inductively defined types (Q1374674):
Displayed 5 items.
- Equational theories for inductive types (Q678762) (← links)
- Interpreting higher computations as types with totality (Q1337495) (← links)
- Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces (Q2682909) (← links)
- Can partial indexings be totalized? (Q2758051) (← links)
- Coherence Spaces and Uniform Continuity (Q2988356) (← links)