Calculate categorically (1992)

by Maarten M Fokkinga
Venue:Formal Aspects of Computing
Citations:4 - 0 self

Documents Related by Co-Citation

97 and Order in Algorithmics – Law - 1992
86 Algebraic Approaches to Program Semantics – Ernest G Manes, Michael A Arbib - 1986
105 Data structures and program transformation – G Malcolm - 1990
330 Theorems for free! – Philip Wadler - 1989
85 Algebraic data types and program transformation – G Malcolm - 1990
37 Algebraic Specification of Data Types: A Synthetic Approach – D J Lehmann, M B Smyth - 1981
3 Introduction to the Galois Correspondence. Birkha"user – Maureen H Fenrick - 1991
25 der Woude. A relational theory of datatypes. Available via World-Wide Web at http://www.cs.nott.ac.uk/~rcb/MPC/papers – R C Backhouse, T S Voermans, J van - 1992
14 Lattice theory, volume 25 of American Mathematical Society Colloquium Publications – Garrett Birkhoff - 1979
225 Predicate Calculus and program semantics – Edsger W Dijkstra, Carel S Scholten - 1990
50 Action Logic and Pure Induction – Vaughan Pratt - 1991
92 Algebraically complete categories – P Freyd - 1990
169 The category-theoretic solution of recursive domain equations – M B Smyth, G D Plotkin - 1982
45 Galois connexions – O Ore - 1944
1070 Introduction to lattices and order – B A Davey, H A Priestley - 1990
219 Categories for the working mathematician, volume 5 of Graduate Texts in Mathematics – Mac Lane, S - 1998
427 Introduction to higher order categorical logic – J Lambek, P J Scott - 1986
5 The Calculation of a Polytypic Parser – Marieke Huisman - 1996
15 Analytical and Structural Polymorphism Expressed Using Patterns Over Types – Fritz Ruehr - 1992