Svoboda | Graniru | BBC Russia | Golosameriki | Facebook

コンテンツにスキップ

Category:ラムダ計算

ウィキメディア・コモンズには、ラムダ計算に関連するカテゴリがあります。

ラムダ計算に関するカテゴリ。

カテゴリ「ラムダ計算」にあるページ

このカテゴリには 15 ページが含まれており、そのうち以下の 15 ページを表示しています。

*

ラムダ計算

S

SKIコンビネータ計算

か

こ

し

住性 (型理論)

ち

チャーチ・ロッサーの定理

と

ふ

不動点コンビネータ

む

無名関数

ら

「https://ja.wikipedia.org/w/index.php?title=Category:ラムダ計算&oldid=93111377」から取得