Fixed points in cartesian closed categories

• 15 January 1990
• journal article
• Published by Elsevier in Theoretical Computer Science
• Vol. 70  (1) , 65-72
• https://doi.org/10.1016/0304-3975(90)90152-8

Abstract

Keywords

• FIXED POINT
• CLOSED CATEGORIES
• CARTESIAN CLOSED
• MODELS
• ENDOMORPHISM
• PARTIAL
• SEMANTIC
• ARROW
• USUAL