@inproceedings{Padovani23,
  author        = {Ross Horne and Luca Padovani},
  editor        = {Ilaria Castellani and Alceste Scalas},
  title         = {A Logical Account of Subtyping for Session Types},
  booktitle     = {Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2023, Paris, France, 22 April 2023},
  series        = {{EPTCS}},
  volume        = {378},
  pages         = {26--37},
  year          = {2023},
  url           = {https://doi.org/10.4204/EPTCS.378.3},
  doi           = {10.4204/EPTCS.378.3},
  timestamp     = {Mon, 12 Jun 2023 11:33:50 +0200},
  biburl        = {https://dblp.org/rec/journals/corr/abs-2304-06398.bib},
  bibsource     = {dblp computer science bibliography, https://dblp.org}
}