TY - RPRT TI - Exponential Functions in Cartesian Differential Categories AU - Jean-Simon Pacaud Lemay PY - 2020 UR - https://arxiv.org/abs/1911.04790 ID - 1911.04790 ER -