Calculate categorically!
type: Item
instance of: scholarly article
title: Calculate categorically!
zbMATH Open document ID: 0774.18003
DOI: 10.1007/BF03180568
author: Maarten M. Fokkinga
published in: Formal Aspects of Computing
publication date: 1993-02-04T00:00:00Z
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.
Mathematics Subject Classification ID: 18A99
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 110530
zbMATH Keywords: diagram chasing
zbMATH Keywords: initiality
zbMATH Keywords: algebraic calculation
zbMATH Keywords: category theory
zbMATH Keywords: functional programming
reviewed by: Cristian S. Calude
MaRDI profile type: Publication
cites work: Can programming be liberated from the von Neumann style?
cites work: Q3997112
cites work: Q3721820
cites work: Q4692630
cites work: Data structures and program transformation
cites work: Q3746866
cites work: Category theory and computer programming. Tutorial and Workshop, Guildford, U.K., September 16-20, 1985. Proceedings
cites work: Category theory and computer science. Edinburgh, U.K., September 7--9, 1987. Proceedings
full work available at URL: https://doi.org/10.1007/bf03180568
OpenAlex ID: W2912180130
description: scientific article; zbMATH DE number 110530