現代思想・圏論特集の記事で

丸山先生の記事で、「アブラムスキー・クッカ対応」と書いてあったけど、「クッカ」に近いのか。それと、この対応はもっと昔の人の名前を使って「カリー・ハワード・ランベック対応」がより一般的だと思う。圏論と量子情報・計算を対応づけたのはアブラムスキー・クッカかも知れないけど。