MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Calculate categorically (1992) [4 citations — 0 self]

Download:
Download as a PDF | Download as a PS
by Maarten M Fokkinga
Formal Aspects of Computing
ftp://ftp.cs.utwente.nl/pub/doc/Parlevink/fokkinga/mmf91j.ps.Z
Add To MetaCart

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.

Citations

374 Can Programming be Liberated from the von Neumann Style? 1979 Turing Award Lecture – Backus
338 Category Theory for Computing Science – Barr, Wells - 1990
250 Why Functional Programming Matters – Hughes - 1990
205 Predicate Calculus and Program Semantics – Dijkstra, Scholten - 1990
130 Basic category theory for computer scientists – Pierce - 1991
122 Categories for the working mathematician, volume 5 of Graduate Texts in Mathematics – Lane - 1998
119 The categorical abstract machine – Cousineau - 1990
108 Data structures and program transformation – Malcolm - 1990
99 and order in algorithmics – Law - 1992
91 Algorithmics -- towards programming as a mathematical activity – Meertens - 1986
78 Algebraic data types and program transformation – Malcolm - 1990
53 Using category theory to design implicit conversions and generic operators – Reynolds - 1980
49 Computational Category Theory – Rydeheard, Burstall - 1988
43 Calculating Compilers – Meijer - 1992
42 A typed lambda calculus with categorical type constructors – Hagino - 1988
28 Category Theoretic Approach to Data Types – Hagino - 1987
21 On the Shape of Mathematical Arguments – Gasteren - 1990
19 Datatype laws without signatures – Fokkinga - 1996
13 Arrows, structures and Functors: The categorical Imperative – Arbib, Manes - 1975
9 Notes on an Approach to Category Theory for Computer Scientists – Hoare - 1989
7 Lecture notes on constructive functional programming – Bird - 1989
4 Topoi: The Categorical Analysis of Logic, volume 98 – Goldblatt - 1979
1 Organized by CWI – Operators - 1990
View or Download | Add to My Collection | Correct Errors