前原昭二著 『数学基礎論入門』（1977）
これですか？

少なくとも型＝プログラム言語でいう変数型
類＝集合ということにしても
類の類、類記号とかは訳注してほしかったな。