scientific article; zbMATH DE number 1330454
From MaRDI portal
Publication:4261097
zbMath0924.68113MaRDI QIDQ4261097
Edmund P. Robinson, A. John Power
Publication date: 21 September 1999
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=20#20027
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Semantics for Algebraic Operations ⋮ Combining effects: sum and tensor ⋮ Axiomatics for Data Refinement in Call by Value Programming Languages