今夏、タイプ理論についてのサーベイをみんなで書きましたが、KURENAIよりダウンロードできるようになりました。 池田真治・伊藤遼・久木田水生 [2011]「タイプ理論の起源と発展」、『哲学論叢』第38巻(別冊): S49-S60【PDFダウンロード】 昨年より、タイプ…