![](/img/cover-not-exists.png)
Some fundamental algebraic tools for the semantics of computation: Part 2: Signed and abstract theories
J.A. Goguen, R.M. BurstallVolume:
31
Year:
1984
Language:
english
Pages:
33
DOI:
10.1016/0304-3975(84)90036-7
File:
PDF, 3.12 MB
english, 1984