Cambridge Tracts in Theoretical
Computer Science
Managing Editor Professor CJ. van Rijsbergen, Department of Computing Science,
University of Glasgow
Editorial Board
S. Abramsky, Department of Computing Science, Imperial College of Science and Technology
P.H. Aczel, Department of Computer Science, University of Manchester
J.W. de Bakker, Centrum voor Wiskunde en Informatica, Amsterdam
J.A. Goguen, Programming Research Group, University of Oxford
J.V. Tucker, Department of Mathematics and Computer Science, University College of Swansea
Titles in the series
1.
G. Chaitin Algorithmic Information Theory
2.
L.C. Paulson Logic and Computation
3.
M. Spivey Understanding Z
4.
G. Revesz Lambda Calculus, Combinators and Logic Programming
5.
A. Ramsay Topology via Logic
6. S. Vickers Formal Methods in Artificial Intelligence
7.
J-Y. Girard, Y. Lafont & P. Taylor Proofs and Types
8. J. Clifford Formal Sematics & Pragmatics for Natural Language Processing
9. M. Winslett
Updating
Logical Databases
10.
K. McEvoy & J.V. Tucker (eds) Theoretical Foundations of
VLSI
Design
12.
G. Brewka Nonmonotonic Reasoning
13.
G. Smolka Logic Programming over Polymorphically Order-Sorted Types
