Pseudo-distributive Laws. - Eugenia Cheng; Martin Hyland; John Power (MFPS, 2003)

An omega-category with all Duals is an omega-groupoid. - Eugenia Cheng (Appl. Categorical Struct., 2007)

Distributive laws for Lawvere theories. - Eugenia Cheng (Compositionality, 2020)

Distributive Laws for Lawvere Theories (Invited Talk). - Eugenia Cheng (CALCO, 2021)

Sunset on the American Dream 2. - Eugenia Cheng (Interactions, 2023)