TY - RPRT TI - Partial Evaluations and the Compositional Structure of the Bar Construction AU - Carmen Constantin AU - Paolo Perrone AU - Tobias Fritz AU - Brandon T. Shapiro PY - 2023 UR - https://arxiv.org/abs/2009.07302 ID - 2009.07302 ER -