Pseudo-distributive Laws
Cheng, Eugenia; Hyland, Martin; Power, John
- 期刊名称Electronic Notes in Theoretical Computer Science
- 作者Cheng, Eugenia; Hyland, Martin; Power, John
- 卷第83卷
- 印刷ISSN1571-0661
- 文件大小331.90KB
- 发表时间2003
- DOI10.1016/S1571-0661(03)50012-3
- 页码227-245