Wright,"A Junction Between Computer Science and Category Theory (0)

by J A Goguen, J W Thatcher, E G Wagner, J B
Venue:parts I and II),IBM T.J. Watson Research Center, Yorktown Heights, N.Y. Research Report, RC4526,1973