Takahashi, Masako (ed.); Okada, Mitsuhiro (ed.); Dezani-Ciancaglini, Mariangiola (ed.) 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] Cited in 1 Review MSC: 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 Keywords:Types; Proofs; Workshop; Proceedings; Tokyo (Japan) PDFBibTeX XMLCite \textit{M. Takahashi} (ed.) et al., Theories of types and proofs. Based on the workshop, Tokyo, Japan, September 1997. Tokyo: Mathematical Society of Japan (1998; Zbl 0919.00041) Full Text: DOI Link