- 著者
- 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)
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