Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems
- 期刊名称SIAM Journal on Computing
- 作者Bergstra, J. A.; Tucker, J. V.
- 卷第12卷
- 期第2期
- 印刷ISSN0097-5397
- 电子ISSN1095-7111
- 文件大小2569.06KB
- 发表时间1983-05
- DOI10.1137/0212024
- 页码366-387
同期刊推荐
NOTES ON AEGERIA PINI.KELLICOTT, D. S. · The Canadian Entomologist · 1881
SOME NEW CANADIAN SCATOPHAGIDAR (DIPTERA)CURRAN, C. HOWARD · The Canadian Entomologist · 1927
NEW SPECIES OF SCATOPHAGIDAE (DIPTERA)CURRAN, C. H. · The Canadian Entomologist · 1929
TINEINA.CHAMBERS, V. T. · The Canadian Entomologist · 1877
SOME NEW SPIDERS.BANKS, NATHAN · The Canadian Entomologist · 1898
LONG LIFE CYCLES IN INSECTSDanks, H.V. · The Canadian Entomologist · 1992
INSTAR DIFFERENTIATION IN LARVAL CHIRONOMIDAE (DIPTERA)McCauley, Victor J. E. · The Canadian Entomologist · 1974
GALL GNATS OR CECIDOMYIIDÆ.The Canadian Entomologist · 1907