By Zhaohui Luo
This booklet develops a sort conception, reviews its homes, and explains its makes use of in desktop technological know-how. The publication focuses particularly on how the examine of kind conception may well supply a robust and uniform language for programming, software specification and improvement, and logical reasoning. the sort conception constructed the following displays a conceptual contrast among logical propositions and computational facts varieties. ranging from an creation of the fundamental strategies, the writer explains the that means and use of the type-theoretic language with proof-theoretic justifications, and discusses quite a few matters within the examine of sort idea. the sensible use of the language is illustrated by means of constructing an method of specification and information refinement in sort conception, which helps modular improvement of specification, courses, and proofs. scholars and researchers in laptop technological know-how and good judgment will welcome this fascinating new book.