When Lawvere Meets Peirce: An Equational Presentation of Boolean Hyperdoctrines.

Filippo Bonchi, Alessandro Di Giorgio, Davide Trotta

Browse the full MFCS paper archive.