Department of Computer Science, University of Oxford: Publication - Integral and differential structure on the free <span style="font-family: serif"> C<sup style="font-style: normal"></sup></span><span style="font-family: serif"></span><span style="font-family: serif">infty</span><span style="font-family: serif"> </span>−ring modality