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

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

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

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

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

削除依頼

同一作者による画像

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

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