Computation and Reasoning: A Type Theory for Computer Science.

Luo, Zhaohui.

to Cart
Price: $100.00

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)

Topic Notification

Cellar Stories Facebook

Site by Bibliopolis