@misc{indiciae3b9184f73675,
  title = {When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines},
  author = {Filippo Bonchi and Alessandro Di Giorgio and Davide Trotta},
  year = {2024},
  url = {https://arxiv.org/abs/2404.18795},
  note = {Source identifier: 2404.18795}
}