Ceek.jp Altmetrics (α ver.)
文献ランキング
合計
1ヶ月間
1週間
1日間
文献カレンダー
新着文献
すべて
2 Users
5 Users
10 Users
新着投稿
Yahoo!知恵袋
レファレンス協同データベース
教えて!goo
はてなブックマーク
OKWave
Twitter
Wikipedia
検索
ウェブ検索
ニュース検索
ホーム
文献詳細
1
0
0
0
OA
A System of Simple Type Theory with Type Variables
著者
Shôji MAEHARA
出版者
JAPAN ASSOCIATION FOR PHILOSOPHY OF SCIENCE
雑誌
Annals of the Japan Association for Philosophy of Science
(
ISSN:04530691
)
巻号頁・発行日
vol.3, no.4, pp.131-137, 1969-03-31 (Released:2009-02-16)
参考文献数
1
被引用文献数
1
言及状況
変動(ピーク前後)
変動(月別)
分布
外部データベース (DOI)
1
Altmetric.com
1
Mendeley
DOI Chronograph
Google Scholar
Twitter
(1 users, 1 posts, 1 favorites)
Z(F) における T(F) の解釈についての考察があるけど、その逆の解釈が書かれた論文はあるのかな。 / S.Maehara,A System of Simple Type Theory with Type Variables https://t.co/9frJYHqKPW
収集済み URL リスト
https://www.jstage.jst.go.jp/article/jafpos1956/3/4/3_4_131/_article
(1)