Complete axioms for categorical fixedpoint operators (0)

by A Simpson, G Plotkin
Venue:in Logic in Computer Science, 2000. Proceedings. 15th Annual IEEE Symposium on, 2000