Categories for fixed point semantics (1976)

by D Lehman
Venue:FOCS