Pages that link to "Item:Q1567199"
From MaRDI portal
The following pages link to Data refinement and algebraic structure (Q1567199):
Displaying 10 items.
- Some proofs of data refinement (Q911246) (← links)
- Laws of data refinement (Q1113664) (← links)
- Gabriel-Ulmer duality for categories enriched in bicategories (Q1295729) (← links)
- Soundness of data refinement for a higher-order imperative language (Q1605184) (← links)
- Algebraic data integration (Q4577809) (← links)
- Category Theoretic Models of Data Refinement (Q4982051) (← links)
- Axiomatics for Data Refinement in Call by Value Programming Languages (Q4982069) (← links)
- Automatic Data Refinement (Q5327338) (← links)
- An algebraic formulation for data refinement (Q5887529) (← links)
- Data refinement of remote procedures (Q5930074) (← links)