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

Document Versions

Complete Axioms for Categorical Fixed-point Operators –Alex Simpson, Gordon Plotkin — 2000 — In Proceedings of 15th Annual Symposium on Logic in Computer Science
Complete axioms for categorical fixed-point operators –Alex Simpson, Gordon Plotkin — 2000 — In Proceedings of 15th Annual Symposium on Logic in Computer Science