Category Theoretic Models of Data Refinement (Q4982051)
From MaRDI portal
scientific article; zbMATH DE number 6418424
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Category Theoretic Models of Data Refinement |
scientific article; zbMATH DE number 6418424 |
Statements
Category Theoretic Models of Data Refinement (English)
0 references
23 March 2015
0 references
data refinement
0 references
Lax natural transformation
0 references
adjoint simulation
0 references
Lax logical relation
0 references
0 references
0 references
