@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", }