@article{KohPisch:23,
  title = {Proof theory and nonsmooth analysis},
  journal = {Philosophical Tranactions of the Royal Society A},
  year = 2023,
  volume = {2248},
  author = {Ulrich Kohlenbach and Nicholas Pischke},
}