Electronic category theory-Reference-Cited by-同舟云学术

Electronic category theory

Published: Issue: Volume: Page:22-39
ISSN:
Container-title:Mathematical Foundations of Computer Science 1980
language:
Short-container-title:

Author:

Burstall R. M.

Publisher

Springer-Verlag

Link

http://www.springerlink.com/index/pdf/10.1007/BFb0022493

Reference17 articles.

1. Arbib, M. and Manes, E. (1975) Arrows, Structures and Functors. Academic Press: New York.

2. Backus, J. (1978) Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. CACM, 21, 8, 613–641.

3. Barrow, H., Ambler, A.P. and Burstall, R.M. (1972) Some techniques for recognising structures in pictures. Proc. of the International Conference on Frontiers of Pattern Recognition (ed. S. Watanabe), Honolulu, Hawaii. Academic Press: New York, pp. 1–29.

4. Burstall, R.M. (1977) Design considerations for a functional programming language, in Proc. of Infotech State of the Art Conference “The Software Revolution”, Copenhagen, pp. 45–57.

5. Burstall, R.M., Collins, J.S. and Popplestone, R.J. (1971) Programming in POP-2. (A revision of POP-2 Papers, Edinburgh: University Press, 1968.) Edinburgh: University Press.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A mechanically assisted constructive proof in category theory;10th International Conference on Automated Deduction;1990

2. Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms;Category Theory and Computer Science;1987

3. A categorical unification algorithm;Category Theory and Computer Programming;1986

4. Adjunctions;Category Theory and Computer Programming;1986

5. Semantics of algorithmic languages;Journal of Soviet Mathematics;1984-06