TY - RPRT TI - Symmetric bimonoidal intermuting categories and $ω\timesω$ reduced bar constructions AU - Z. Petric AU - T. Trimble PY - 2013 UR - https://arxiv.org/abs/0906.2954 ID - 0906.2954 ER -