Symmetric Bimonoidal Intermuting Categories and ω × ω Reduced Bar Constructions. - Zoran Petric; Todd Trimble (Appl. Categorical Struct., 2014)

Differential 2-rigs. - Fosco Loregiàn; Todd Trimble (ACT, 2022)