Masako Takahashi, Mitsuhiro Okada, Mariangiola Dezani-Ciancaglini (eds.)The Mathematical Society of Japan1998<M19-B283>
National Diet Library
Masako Takahashi, Mitsuhiro Okada [and] Mariangiola Dezani-Ciancaglini (eds.)Mathematical Society of Japan1998
Other Libraries in Japan
- Note (General)...l workshop on "Theories of Types and Proofs" took place at Tokyo Institut...
日本数学会, MSJ-Memoirs1998日本数学会, MSJ-Memoirs2
Other Libraries in Japan
寳来, 正子, HORAI, MasakoTheories of Types and Proofs1998Theories of Types and Proofsp.1-44
Other Libraries in Japan
the Mathematical Society of JapanMathematical Society of Japan1998-
Other Libraries in Japan
- Toc / Article...etric geometry Theories of types and proofs Bohr-Jessen Limit theorem, re...
- Related Material...etric geometry Theories of types and proofs Bohr-Jessen Limit theorem, re...