Computation and Reasoning - A Type Theory for Computer Science - Bok av Zhaohui (Lecturer/Research Fellow Luo - Inbunden
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.