[Lecture Notes in Computer Science] Mathematical Foundations of Programming Semantics Volume 442 || Algebraic types in PER models
Main, M.; Melton, A.; Mislove, M.; Schmidt, D.
- 作者Main, M.; Melton, A.; Mislove, M.; Schmidt, D.
- 文件大小1245.72KB
- 发表时间1990
- DOI10.1007/bfb0040266
- 页码333-350