Pages that link to "Item:Q6116569"
From MaRDI portal
The following pages link to Typed homomorphic relations extended with subtypes (Q6116569):
Displaying 6 items.
- The behavior-realization adjunction and generalized homomorphic relations (Q1391868) (← links)
- Towards a formal framework for heterogeneous relation algebra (Q1961865) (← links)
- On the relationship between hierarchy and type morphisms (Q2431098) (← links)
- Relational Heterogeneity Relaxed by Subtyping (Q3007588) (← links)
- Typed Horn logic (Q3976045) (← links)
- A Mathematical Life (Q4586411) (← links)