Data refinement and algebraic structure
From MaRDI portal
Publication:1567199
DOI10.1007/S002360050171zbMath0958.68024OpenAlexW2062010979MaRDI QIDQ1567199
Yoshiki Kinoshita, A. John Power
Publication date: 5 June 2000
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s002360050171
Related Items (3)
Category Theoretic Models of Data Refinement ⋮ Axiomatics for Data Refinement in Call by Value Programming Languages ⋮ Gabriel-Ulmer duality for categories enriched in bicategories
This page was built for publication: Data refinement and algebraic structure
