Theories of types and proofs. Based on the workshop, Tokyo, Japan, September 1997. (English) Zbl 0919.00041

MSJ Memoirs. 2. Tokyo: Mathematical Society of Japan. 295 p. Yen 5.800 (1998).

Show indexed articles as search result.

The articles of this volume will be reviewed individually.
Indexed articles:
Takahashi, Masako, A primer on proofs and types, 1-44 [Zbl 0937.03063]
Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; de’Liguoro, Ugo, Intersection types, \(\lambda\)-models, and Böhm trees, 45-97 [Zbl 0946.03016]
Yokouchi, Hirofumi, Syntax and semantics of type assignment systems, 99-141 [Zbl 0935.03025]
Coppo, Mario; Damiani, Ferruccio; Giannini, Paola, Inference based analyses of functional programs: Dead-code and strictness, 143-176 [Zbl 0951.68017]
Baratella, Stefano; Berardi, Stefano, Constructivization via approximations and examples, 177-205 [Zbl 0937.03064]
Ono, Hiroakira, Proof-theoretic methods in nonclassical logic. – An introduction, 207-254 [Zbl 0947.03073]
Okada, Mitsuhiro, An introduction to linear logic: Expressiveness and phase semantics, 255-295 [Zbl 0935.03030]


00B25 Proceedings of conferences of miscellaneous specific interest
03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
Full Text: DOI Link