Calculate categorically!

DOI10.1007/BF03180568MaRDI QIDQ1203123zbMATH OpenOpenAlexFDO

Authors Maarten M. Fokkinga

Publication date 4 February 1993

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf03180568

zbMATH Keywords

algebraic calculationcategory theorydiagram chasingfunctional programminginitiality

Mathematics Subject Classification ID

General theory of categories and functors (18A99) General topics in the theory of software (68N01)

Review text

The author introduces and studies an alternative proof style in category theory, called calculation, which can be viewed as a form of functional programming.

Cites work

• Can programming be liberated from the von Neumann style?
• Category theory and computer programming. Tutorial and Workshop, Guildford, U.K., September 16-20, 1985. Proceedings
• Category theory and computer science. Edinburgh, U.K., September 7--9, 1987. Proceedings
• Data structures and program transformation
• scientific article; zbMATH DE number 3952011 (Why is no real title available?)
• scientific article; zbMATH DE number 3982493 (Why is no real title available?)
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 194642 (Why is no real title available?)

Cited in

(1)

• Categorical fixed point calculus

This page was built for publication: Calculate categorically!

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1203123)