Categories, relations and dynamic programming. D.Phil. thesis (1992)

by O De Moor
Venue:Technical Monograph PRG-98, Computing Laboratory