タイプ理論の起源と発展
https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/151121/1/ronso38_S49_type.pdf
池田真治、伊藤遼、久木田水生
タイプ理論の起源と発展
サーベイ論文 『哲学論叢』別冊 第 38 号，第 38 号，2011年
京都大学哲学論叢刊行会
タグ
#論文
2024/5/23 17:57
original:
/tomiokario-close/タイプ理論の起源と発展