Coherence of the double involution on * -autonomous categories. Cockett, J.A.B., Hasegawa, M., Seely, R.A.G. (2006) Theory and Applications of Categories [electronic only]