Complete axioms for categorical operators (2000)

by A K Simpson, G D Plotkin
Venue:In Proceedings of the 15 th Annual IEEE Symposium on Logic in Computer Science. IEEE