Weblioシソーラス

「カリー・ハワード同型対応」の言い換え・類義語

• カリー＝ハワード同型対応

Weblioシソーラスはプログラムで自動的に生成されているため、一部不適切なキーワードが含まれていることもあります。ご了承くださいませ。 詳しい解説を見る。お問い合わせ。

---

「カリー＝ハワード同型対応」の言い換え・類義語

• カリー＝ハワード同型
• カリー＝ハワード対応
• Curry–Howard correspondence
• カリー・ハワード同型対応

Weblioシソーラスはプログラムで自動的に生成されているため、一部不適切なキーワードが含まれていることもあります。ご了承くださいませ。 詳しい解説を見る。お問い合わせ。