This is an excellent collection of refereed articles on theories of types and proofs. The articles are written by noted experts in the area.
This is an excellent collection of refereed articles on theories of types and proofs. The articles are written by noted experts in the area. In addition to the value of the individual articles, the collection is notable for covering a range of related topics. The collection begins with useful primer on the subject that will make the subsequent articles more accessible to potential readers. Following the primer, there are good articles on traditional topics in type assignment systems. These are followed by explanations of applications to program analysis and a series of articles on application to logic. The collection includes articles on intuitionistic logic, a standard use of type-theoretic notions, and concludes with an article on linear logic.
Rights: Copyright © 1998, The Mathematical Society of Japan
Digital Object Identifier: 10.2969/msjmemoirs/002010000