ワークショップ「証明論的意味論の可能性」（大西琢朗、伊藤遼、久木田水生、丸山善宏、矢田部俊介）

学会 拙論

で、「証明論的意味論の具体例」と題し、Martin-Lofの直観主義的型理論の証明論的意味論としての側面について発表を行いました。持ち時間が10分という短さのため、ろくな話が出来なかったのが心残りです。

証明論的意味論の具体例