Bonchi, Filippo;    Di Giorgio, Alessandro;    Trotta, Davide;      (2024)    When Lawvere Meets Peirce: An Equational Presentation of Boolean Hyperdoctrines.                     In: Královič, Rastislav and Kučera, Antonín, (eds.) 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024).  (pp. 30:1-30:19).  Dagstuhl Publishing: Wadern, Germany.       Green open access