TY - RPRT TI - Nbd is not cartesian closed AU - Giacomo Dossena PY - 2017 UR - https://arxiv.org/abs/1707.06137 ID - 1707.06137 ER -