Categorical Semantics for Programming Languages
Jifeng He and C. A. R. Hoare
Book Title
Mathematical Foundations of Programming Semantics‚ 5th International Conference‚ Tulane University‚ New Orleans‚ Louisiana‚ USA‚ March 29 − April 1‚ 1989‚ Proceedings
Editor
Michael G. Main and Austin Melton and Michael W. Mislove and David A. Schmidt
Pages
402−417
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
442
Year
1989