![](/img/cover-not-exists.png)
Equational logic of circular data type specification
Stephen L. Bloom, Zoltan EsikVolume:
63
Year:
1989
Language:
english
Pages:
29
DOI:
10.1016/0304-3975(89)90012-1
File:
PDF, 2.83 MB
english, 1989