参考文献

Morten Heine Sørensen and Pawel Urzyczyn, Lectures on the CurryHoward isomorphism, Elsevier, 2006
川井新, 論理と計算の科学「カリーハワード対応」, 論計舎 web shop, 閲覧日 2021-12-14, https://quawai.stores.jp/items/5eb19b4572b9117d87571869