Categorical Semantics of Programming Languages (1990)

by He Jifeng, C A R Hoare
Venue:In Mathematical Foundations of Programming Semantics, volume LNCS 442