The Dialectica interpretation of first-order classical affine logic. Shirahata, Masaru (2006) Theory and Applications of Categories [electronic only]
The Frobenius relations meet linear distributivity. Egger, J.M. (2010) Theory and Applications of Categories [electronic only]