author : David E. Rydeheard

Books

• Computational Category Theory. 1988, with Rod M. Burstall