カリー＝ハワード同型対応
https://ja.wikipedia.org/wiki/カリー＝ハワード同型対応
証明論と型理論の対応
あの
ハスケル・カリー
と、
ウィリアム・アルヴィン・ハワード
が見つけた
これ対応関係ってどうやって示すの？
biwa.icon
対応することは直感的に理解できるけど、実際なんで対応してるのかみたいな部分を何も知らない。
なんもわからんけど、圏論とか使うんですかね