Computation and Reasoning A Type Theory for Computer Science |
|
| Author:
| Zhaohui Luo, Zhaohui |
| Series title: | International Series of Monographs on Computer Science Ser. |
| ISBN: | 978-0-19-853835-6 |
| Publication Date: | May 1994 |
| Publisher: | Oxford University Press, Incorporated
|
| Imprint: | Clarendon Press |
| Book Format: | Hardback |
| List Price: | USD $105.00 |
Book Description:
|
Here, the author, develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, type theory is shown to offer a powerful and uniform language for programming, program specification and development, and logical reasoning.
Here, the author, develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, type theory is shown to offer a powerful and uniform language for programming, program specification and development, and logical reasoning.