Papers.bib

@inproceedings{BarbarossaLICS22,
  author    = {Davide Barbarossa},
  editor    = {Christel Baier and
               Dana Fisman},
  title     = {Resource approximation for the {\(\lambda\)}{\(\mu\)}-calculus},
  booktitle = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer
               Science, Haifa, Israel, August 2 - 5, 2022},
  pages     = {27:1--27:12},
  publisher = {{ACM}},
  year      = {2022},
  url       = {https://doi.org/10.1145/3531130.3532469},
  doi       = {10.1145/3531130.3532469}
}

@article{BarbarossaM20,
  author    = "Davide Barbarossa and Giulio Manzonetto",
  title     = "Taylor Subsumes Scott, Berry, Kahn and Plotkin",
  journal   = "{PACMPL}",
  volume    = "4",
  number    = "{POPL}",
  pages     = "1:1--1:23",
  year      = "2020",
  url       = "https://doi.org/10.1145/3371069",
  doi       = "10.1145/3371069",
}