R. M. Burstall

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Deliverables: a categorical approach to program development in type theory
R. M. Burstall and others (1992) · Department of Computer Science, University of Edinburgh
Some fundamental algebraic tools for the semantics of computation, part 3: indexed categories
A. Tarlecki and others (1989) · LFCS, University of Edinburgh