Skip to content

The Equational Theory of a Boolean Monad.

Ernest G. Manes

VenueBFCT
Year1993
ProceedingsFCT

Browse the full FCT paper archive.