Simple free star-autonomous categories and full coherence (2005)

by Dominic J. D. Hughes
Citations:12 - 0 self