Masaru Shirahata – 研究成果 — Keio University

Scopus著者プロファイル

ウェブサイトhttps://k-ris.keio.ac.jp/html/100001022_ja.html

h-index

年別の研究成果

Pureに変更を加えた場合、すぐここに表示されます。

2 Article

2 件

2006
The Dialectica interpretation of first-order classical affine logic
Shirahata, M., 2006 12月 16, In: Theory and Applications of Categories. 17, p. 49-79 31 p.
研究成果: Article › 査読
10 被引用数 (Scopus)
1996
A linear conservative extension of zermelo-fraenkel set theory
Shirahata, M., 1996 1月 1, In: Studia Logica. 56, 3, p. 361-392 32 p.
研究成果: Article › 査読