カリー／ハワード／ランベック対応の辞書 続・カリー／ハワード／ランベック対応の辞書 まだあるの？ まだあります！カリー／ハワード／ランベック対応〈Curry-Howard-Lambek correspondence〉は、「型理論（ラムダ計算を含む）」「論理」「圏論」の三分野の…