Computation and reasoning : a type theory for computer science / Zhaohui Luo.
| Author/creator | Luo, Zhaohui |
| Format | Book |
| Publication Info | Oxford : Clarendon Press ; New York : Oxford University Press, ©1994. |
| Description | xi, 228 pages : illustrations ; 24 cm. |
| Subjects |
| Series | International series of monographs on computer science International series of monographs on computer science. ^A220040 |
| Bibliography note | Includes bibliographical references (p. 211-220) and index. |
| LCCN | 93046644 |
| ISBN | 0198538359 : |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76 .L79 1994 | ✔ Available | Place Hold |