Theoretical Computer ScienceVolume 70, Issue 1, 15 January 1990, Pages 85-97Categorical fixed point semantics☆Author links open overlay panelPhilip S. MulryShow moreShareCitehttps://doi.org/10.1016/0304-3975(90)90154-AGet rights and contentUnder an Elsevier user licenseopen archivePrevious article in issueNext article in issueRecommended articlesCited by (0)☆Partially supported by NSF Grant CCR8706333.Copyright © 1990 Published by Elsevier B.V.