Data refinement in a categorical setting

Author(s)

• He, Jifeng
• Hoare, C. A. R. (Charles Antony Richard)

Bibliographic Information

Data refinement in a categorical setting

by He Jifeng, C.A.R. Hoare

（Technical monograph, PRG-90）

Oxford University Computing Laboratory, Programming Research Group, 1990

Note

Includes bibliographical references (p. 11)

Details

• NCID: BA27159931
• ISBN:
  • 0902928686
• Country Code: uk
• Title Language Code: eng
• Place of Publication: Oxford
• Pages/Volumes: 15 p.
• Size: 21 cm
• Parent Bibliography ID:
  • BA27159873