R. M. Burstall

• Some fundamental algebraic tools for the semantics of computation part 3: Indesced Categories