『最近の型理論： 依存型理論で述語論理が出来てしまう理由 - 檜山正幸のキマイラ飼育記 (はてなBl...2026/1/17 1:24:00 https://m-hiyama.hatenablog.com/entry/2023/05/03/121954