Categorical fixed point semantics. Theoretical Computer Science (1990)

by Philip S Mulry
Venue:ACM SIGPLAN Notices