@misc{indiciae33f30fa07e87,
  title = {Polynomial Lawvere Logic},
  author = {Giorgio Bacci and Radu Mardare and Prakash Panangaden and Gordon Plotkin},
  year = {2024},
  url = {https://arxiv.org/abs/2402.03543},
  note = {Source identifier: 2402.03543}
}