Mathematical Society of Japan Memoirs

Preface

Mariangiola Dezani-Ciancaglini, Mitsuhiro Okada, and Masako Takahashi

Full-text: Open access

Chapter information

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

Dates
First available in Project Euclid: 17 January 2014

Permanent link to this document
https://projecteuclid.org/euclid.msjm/1389985698

Rights
Copyright © 1998, The Mathematical Society of Japan