Categories for Fixpoint Semantics (1976)

by D Lehmann
Venue:Proc. 17th. Annual Symp. on Foundations of Computer Science, IEEE Computer