Theories of types and proofs
By: Masako Takahashi, Mitsuhiro Okada, Mariangiola Dezani-Ciancaglini (Eds.).
Contributors: Dezani-Ciancaglini, M.; Okada, M. 1954-; Takahashi, Masako.; Nihon Sūgakkai.
Series: MSJ memoirs -- v. 2
Publisher: Mathematical Society of Japan
Published: 1998
Place of publication: Tokyo
Language: eng
Number of pages: 295
Subjects: Proof theory.; Type theory.
Notes: Includes bibliographical references.