Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Philosophy
Reference55 articles.
1. Adámek, J. (1974). Free algebras and automata realizations in the language of categories. Commentationes Mathematicae Universitatis Carolinae, 15(4), 589–602.
2. Arbib, M.A., & Manes, E.G. (1974). Machines in a category: an expository introduction. SIAM Review, 16(2), 163–192.
3. Bauer, F.L. (1990). The cellar principle of state transition and storage allocation. IEEE Annals of the History of Computing, 12(1), 41–49.
4. Bauer, F.L. (2002). From the stack principle to ALGOL. In Broy, M., & Denert, E. (Eds.) Software Pioneers (pp. 26–42). Berlin: Springer.
5. Bird, R.S. (1987). An introduction to the theory of lists. In Broy, M. (Ed.) Logic of Programming and Calculi of Discrete Design, Springer-Verlag, pp 3–42, NATO ASI Series F Volume 36. Also available as Technical Monograph PRG-56, from the Programming Research Group, Oxford University.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献