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.