[Lecture Notes in Computer Science] Mathematical Foundations of Programming Language Semantics Volume 298 || The versatile continuous order
Main, M.; Melton, A.; Mislove, M.; Schmidt, D.
- 作者Main, M.; Melton, A.; Mislove, M.; Schmidt, D.
- 文件大小2006.92KB
- 发表时间1988
- DOI10.1007/3-540-19020-1_7
- 页码134-160