POLYNAT in PER. in: Categories in Computer Science and Logic (1987)

by P J Freyd
Venue:Contemporary Mathematics