[Lecture Notes in Computer Science] Mathematical Foundations of Programming Semantics Volume 442 || Equationally fully abstract models of PCF
- 作者Main, M.; Melton, A.; Mislove, M.; Schmidt, D.
- 文件大小868.75KB
- 发表时间1990
- DOI10.1007/bfb0040262
- 页码271-283
海量图书期刊资源，随时随地畅享阅读乐趣