Complete axioms for categorical fixed-point operators | IEEE Conference Publication | IEEE Xplore