@inproceedings{b9c0cf155fa84ed3a28a44a121b09720,
title = "Categorical semantics for programming languages",
author = "He Jifeng and Hoare, \{C. A.R.\}",
year = "1990",
doi = "10.1007/BFb0040271",
language = "英语",
isbn = "9780387973753",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "402--417",
editor = "Main, \{Michael G.\} and Mislove, \{Michael W.\} and Melton, \{Austin C.\} and Schmidt, \{David A.\}",
booktitle = "Mathematical Foundations of Programming Semantics - 5th International Conference, Proceedings",
address = "德国",
note = "5th International Conference on the Mathematical Foundations of Programming Semantics, 1989 ; Conference date: 29-03-1989 Through 01-04-1989",
}