カリー=ハワード同型
#202303
#型レベルプログラミング
https://ja.wikipedia.org/wiki/カリー%EF%BC%9Dハワード同型対応
証明計算と計算模型の型システムとの間の対応