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 WorldWide 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 categorytheoretic 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
