@unpublished{kerjean:hal-01969262,
  title = "{Higher-order distributions for differential linear logic.}",
  author = "Kerjean, Marie and Lemay, Jean-Simon",
  year = "2019",
  month = "Jan",
  note = "working paper or preprint",
  url = "https://hal.inria.fr/hal-01969262",
}