Special issue: Theories of types and proofs. Selected papers from the Mathematical Society of Japan regional workshop, Tokyo, Japan, September 9--18, 1997 (Q5957675)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Special issue: Theories of types and proofs. Selected papers from the Mathematical Society of Japan regional workshop, Tokyo, Japan, September 9--18, 1997 |
scientific article; zbMATH DE number 1718318
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Special issue: Theories of types and proofs. Selected papers from the Mathematical Society of Japan regional workshop, Tokyo, Japan, September 9--18, 1997 |
scientific article; zbMATH DE number 1718318 |
Statements
Special issue: Theories of types and proofs. Selected papers from the Mathematical Society of Japan regional workshop, Tokyo, Japan, September 9--18, 1997 (English)
0 references
3 May 2002
0 references
The articles of this volume will be reviewed individually. See also the MSJ-Memoir Vol. 2 (1998; Zbl 0919.00041), second printing 1999.
0 references
Special issue
0 references
Types
0 references
Proofs
0 references
Selected papers
0 references
Tokyo (Japan)
0 references
