Normal view
MARC view
Backhouse, Roland C., 1948- (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction (2000 : University of Oxford) 16705, Algebraic and coalgebraic methods in the mathematics of program construction :, ©2002.