A Linear Type System for L^p-Metric Sensitivity Analysis. - Victor Sannier; Patrick Baillot (FSCD, 2024)