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