TY - JOUR AU - Masahito Hasegawa AU - Jean-Simon P. Lemay TI - Linear Distributivity With Negation, Star-Autonomy, and Hopf Monads JO - Theory and applications of categories PY - 2018 SP - 1145 EP - 1157 VL - 33 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TAC_2018_33_a36/ LA - en ID - TAC_2018_33_a36 ER -