in: Categories in Computer Science and Logic (1987)

by P J POLYNAT inPER Freyd
Venue:Contemporary Mathematics