Theories of types and proofs / Masako Takahashi, Mitsuhiro Okada, Mariangiola Dezani-Ciancaglini (Eds.)

Date : 1998

Editeur / Publisher : Tokyo : Mathematical Society of Japan , 1998

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 4-931469-02-7

EAN : 9784931469020

Théorie des types

Théorie de la démonstration

Takahashi, Masako (19..-....) (Directeur de publication / publishing director)

Okada, Mitsuhiro (1954-....) (Directeur de publication / publishing director)

Dezani-Ciancaglini, Mariangiola (19..-.... ; mathématicienne) (Directeur de publication / publishing director)

Collection : MSJ Memoirs / Mathematical Society of Japan / Tokyo : Mathematical Society of Japan , 1998-