85], "Theories as categories", in David Pitt, Samson Abramsky, Axel Poign6 and David Rydeheard (eds) Category Theory and Computer (1986)

by Michael P Fourman, Steven Vickers
Venue:Programming, Lecture Notes in Computer Science 240 (Springer-Verlag