Entropic Hopf algebras and models of non-commutative logic. Blute, Richard F., Lamarche, François, Ruet, Paul (2002) Theory and Applications of Categories [electronic only]
Exploring the gap between linear and classical logic. Lamarche, François (2007) Theory and Applications of Categories [electronic only]