|
92
|
Law and Order in Algorithmics
– M M Fokkinga
- 1992
|
|
101
|
Data Structures and Program Transformation
– G Malcolm
- 1990
|
|
292
|
Theorems for free!
– Philip Wadler
- 1989
|
|
79
|
Algebraic Approaches to Program Semantics
– E G Manes, M A Arbib
- 1986
|
|
77
|
Algebraic Data Types and Program Transformation
– G R Malcolm
- 1990
|
|
33
|
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
|
|
13
|
Lattice Theory, volume 25 of American Mathematical Society Colloquium Publications
– G Birkhoff
- 1967
|
|
47
|
Action Logic and Pure Induction
– Vaughan Pratt
- 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
|
|
89
|
Algebraically complete categories
– P Freyd
- 1991
|
|
159
|
The Category-theoretic Solution of Recursive Domain Equations
– M Smyth, G D Plotkin
- 1982
|
|
38
|
Galois connexions
– O Ore
- 1944
|
|
379
|
Introduction to Higher Order Categorical Logic
– J Lambek, P J Scott
- 1986
|
|
215
|
Predicate Calculus and Program Semantics
– E W Dijkstra, C Scholten
- 1990
|
|
182
|
Categories for the working mathematician, volume 5 of Graduate Texts
– S Mac Lane
|
|
909
|
Introduction to Lattices and Order
– B A Davey, H A Priestley
- 1990
|
|
5
|
The Calculation of a Polytypic Parser
– Marieke Huisman
- 1996
|
|
35
|
Homomorphisms and Promotability
– G Malcolm
- 1989
|
