Complete axioms for categorical fixed-point operators (2000)

by Alex Simpson, Gordon D Plotkin
Venue:In Proc. 15th Symposium on Logic in Computer Science (LICS’00