Complete Axioms for Categorical Fixed-point Operators (2000)

by Alex Simpson, Gordon Plotkin
Venue:In Proceedings of 15th Annual Symposium on Logic in Computer Science