Publisher
Springer Berlin Heidelberg
Reference47 articles.
1. M. A. Arbib and E. G. Manes, Functorial iteration, Notices Amer. Math. Soc. 25, 1978, A-381.
2. M. A. Arbib and E. G. Manes, Partially-additive categories and the semantics of flow diagrams, J. Algebra 62, 1980, 203–227.
3. M. A. Arbib and E. G. Manes, The pattern-of-calls expansion is the canonical fix-point for recursive definitions, J. Assoc. Comput. Mach. 29, 1982, 557–602.
4. J. Backus, Can programming be liberated from the von Neumann Style? A functional style and its algebra of programs, Commun. Assoc. Comput. Mach. 21, 1978, 613–641.
5. J. Backus, The algebra of functional programs: function level reasoning, linear equations and extended definitions, in J. Diaz and T. Ramos (eds.), Formalization of programming concepts, Lecture Notes in Computer Science 107, Springer-Verlag, 1981, 1–43.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Program correctness and matricial iteration theories;Lecture Notes in Computer Science;1992
2. Monads, matrices and generalized dynamic algebra;Categorical Methods in Computer Science With Aspects from Topology;1989
3. The equational logic of iterative processes;Fundamentals of Computation Theory;1989
4. The shuffle bialgebra;Mathematical Foundations of Programming Language Semantics;1988
5. The category of Milner processes is exact;Category Theory and Computer Science;1987