カリー＝ハワード同型 (Curry-Howard isomorphism)

作成日 2013/06/23 / 得票はありません → 投票する

新しい画像を作成する場合はここをクリック

カリー＝ハワード同型 (Curry-Howard isomorphism)
画像URL:

カリー＝ハワード同型 (Curry-Howard isomorphism)
画像URL:

削除依頼

同一作者による画像

自然演繹 (attack on titan) お茶の水女子大学 (Ochanomizu University) 進撃のλ (lambda calculus) 進撃のラムダ (lambda calculus)
進撃の巨人 (attack on Giants) 自然演繹 (Natural Deduction)

進撃の巨人ロゴジェネレーター