Computation and Reasoning: A Type Theory for Computer Science.
Oxford: Clarendon/Oxford University Press, 1994. 8vo. 228 pp. International Series of Monographs on Computer Science vol 11. In this book, the author develops a theory of dependent types, studies its properties and illustrates its uses in computer science. With clear plastic dj. Gilt text bright. Fine in Fine dj Hard Cover 0198538359 (Item ID: 34697)