@misc{indiciae807f0bcfd91a,
  title = {Cartesian differential categories revisited},
  author = {G. S. H. Cruttwell},
  year = {2012},
  doi = {10.1017/s0960129515000055},
  url = {https://arxiv.org/abs/1208.4070},
  note = {Source identifier: 1208.4070}
}