A System of Simple Type Theory with Type Variables

Overview of attention for article published in Annals of the Japan Association for the Philosophy of Science, January 1969

Altmetric Badge

Mentioned by

So far, Altmetric has seen 1 X post from an account with 3,824 followers.

Z(F) における T(F) の解釈についての考察があるけど、その逆の解釈が書かれた論文はあるのかな。 / S.Maehara,A System of Simple Type Theory with Type Variables https://t.co/9frJYHqKPW

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity.