Calculate categorically!-Reference-Cited by-同舟云学术

Calculate categorically!

Published:1992-11 Issue:Suppl 1 Volume:4 Page:673-692
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Fokkinga Maarten M.¹

Affiliation:

1. Dept. INF, University of Twente, PO Box 217, NL 7500 AE, Enschede, The Netherlands

Abstract

Abstract Diagram chasing is an established proof technique in Category Theory. Algebraic calculation is a good alternative; made possible thanks to a notation for various unique arrows and a suitable formulation of initiality, and the calculational properties brought forward by initiality.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF03180568.pdf

Reference26 articles.

1. [ArM75] M. Arbib and E. Manes. Arrows Structures and Functors — The Categorical Imperative . Academic Press 1975.

2. Can programming be liberated from the von Neumann style?

3. [Bir89] R.S. Bird. Lecture notes on constructive functional programming. In: Constructive Methods in Computing Science M. Broy (ed.) International Summer School directed by F.L. Bauer [et al.] Springer-Verlag 1989.

4. [BaW90] M. Barr and C. Wells. Category Theory for Computing Science . Prentice Hall 1990.

5. [CCM85] G. Cousineau P.L. Curien and M. Mauny. The categorical abstract machine. In Functional Programming Languages and Computer Architecture LNCS 201 Springer-Verlag 1985.

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

1. Categories for (Big) Data models and optimization;Journal of Big Data;2018-07-07

2. A Calculus for (Meta)Models and Transformations;International Journal of Software Engineering and Knowledge Engineering;2014-06

3. Specification of Logic Programming Languages from Reusable Semantic Building Blocks;Electronic Notes in Theoretical Computer Science;2002-09

4. Monadic Corecursion —Definition, Fusion Laws, and Applications—;Electronic Notes in Theoretical Computer Science;1998

5. Datatype laws without signatures;Mathematical Structures in Computer Science;1996-02