Some fundamental algebraic tools for the semantics of computation: Part 2: Signed and abstract theories
Open Access
- 31 December 1984
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 31 (3) , 263-295
- https://doi.org/10.1016/0304-3975(84)90036-7
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Stepwise specification and implementation of abstract data typesPublished by Springer Nature ,1978
- Limits of the "algebraic" specification of abstract data typesACM SIGPLAN Notices, 1977
- Heterogeneous algebrasJournal of Combinatorial Theory, 1970
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIESProceedings of the National Academy of Sciences, 1963
- Some Remarks Concerning Categories and SubspacesCanadian Journal of Mathematics, 1957