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