@misc{indiciaede9f1dff96e9,
  title = {Multi-argument specialization semilattices},
  author = {Paolo Lipparini},
  year = {2022},
  doi = {10.21136/mb.2025.0082-24},
  url = {https://arxiv.org/abs/2208.12680},
  note = {Source identifier: 2208.12680}
}