Categories for fixpoint semantics (1970)

by Daniel Lehman
Venue:Seventeenth Annual Symposium on Foundations of Computer Science