Initially — Restricting algebraic theories
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 504-514
- https://doi.org/10.1007/bfb0022528
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Data type specificationPublished by Association for Computing Machinery (ACM) ,1978
- Stepwise specification and implementation of abstract data typesPublished by Springer Nature ,1978
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIESProceedings of the National Academy of Sciences, 1963
- Maximal Flow Through a NetworkCanadian Journal of Mathematics, 1956