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
Citations:29 - 6 self