Mathematical Society of Japan Memoirs

Theories of Types and Proofs

Mariangiola Dezani-Ciancaglini (Editor), Mitsuhiro Okada (Editor), and Masako Takahashi (Editor)

Book information

Contributors
Mariangiola Dezani-Ciancaglini (Editor), Mitsuhiro Okada (Editor), and Masako Takahashi (Editor)

Publication information
MSJ Memoirs, Volume 2
Tokyo, Japan: The Mathematical Society of Japan, 1998
295 pp.

Dates
Publication date: 1998
First available in Project Euclid: 17 January 2014

Permanent link to this book
https://projecteuclid.org/euclid.msjm/1389985695

Digital Object Identifier:
doi:10.2969/msjmemoirs/002010000

ISBN:
978-4-931469-02-0

Zentralblatt MATH:
0919.00041

Mathematical Reviews (MathSciNet):
MR1728757

Subjects
Primary: 03B15: Higher-order logic and type theory 03B40: Combinatory logic and lambda-calculus [See also 68N18] 03F05: Cut-elimination and normal-form theorems 03F50: Metamathematics of constructive systems 68Q05: Models of computation (Turing machines, etc.) [See also 03D10, 68Q12, 81P68]

Rights
Copyright © 1998, The Mathematical Society of Japan

Citation
Masako Takahashi, Mitsuhiro Okada and Mariangiola Dezani-Ciancaglini, Eds. Theories of Types and Proofs (Tokyo: The Mathematical Society of Japan, 1998)

Select/deselect all
  • Export citations
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Select/deselect all
  • Export citations

Abstract

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.