カリー ＝ ハワード 同型 対応 が 、 自然 演繹 と 計算 機 科学 で 用い られる 型付き ラムダ 計算 論理 と の 一致 を 含む 、 論理 と 計算 と の 深い 類似 として 起こっ た 。

この 問題 へ の 解答 が 、 ゲーデル の 不完全性 定理 、 チューリング の 機械 、 チャーチ の ラムダ 計算 で ある { Sfn | Berlinski | 2000 }。

レイビル の ラムダ ・ カッパ ・ クラブ が この 図書館 を 設立 し た 。

現実 の 回路 で も 、 負 性 抵抗 を 示す トンネル ダイオード （ エサキダイオード と も いう ） や ガン ・ ダイオード 、 ラムダ ダイオード など と LCR 回路 を 組み合わせ 、 再生 回路 として 動作 さ せる こと が できる 。

マルギット 橋 が 繋がっ て い ない Image : Chain - Bridge 01 . jpg | 今日 の マルギット 島 （ 画像 上端 ） Image : Margitsziget - air . jpg | 今日 の マルギット 島 （ 飛行機 から 、 左 は エンジン ） Image : Margitsziget légifotó 2 . jpg | 給水 塔 と 屋外 劇場 Image : Margitsziget légifotó 3 . jpg | 北側 に ある ホテル Image : Margitsziget légifotó 1 . jpg | アルフレード・ハヨーシュ・スポーツ・プール Image : Margitsziget légifotó 5 . jpg | スポーツ プール と 島 の 木々 Image : Margitsziget légifotó 4 . jpg | かつて の 教会 の 遺物 SKI コンビネータ 計算 は 型 無し ラムダ 計算 を 単純 化 し た 、 ひとつ の 計算 モデル で ある 。

ラムダ 計算 における あらゆる 演算 は 、 SKI において 3 つ の 定数 記号 S , K および I （ しばしば コンビネータ と 呼ぶ ） および 変数 記号 によって 表現 できる 。

定義 は 次 の 通り ： 任意 の コンビネータ 項 に対して 、 それ と 外延 的 に 等価 かつ 同じ 自由 変数 を 持つ ラムダ 項 が 存在 する 。

一方 任意 の ラムダ 項 に対して 、 それ と 外延 的 に 等価 かつ 同じ 自由 変数 を 持つ コンビネータ 項 が 存在 する 。

Be 星 は 変光星 で ある こと が 多く 、 カシオペヤ 座 ガンマ 型 変光星 か エリダヌス 座 ラムダ 変光星 に 分類 さ れる 。

ド・ブラン・インデックス ( 英 : De Bruijn Index ) と は 、 ラムダ 計算 において 、 名前 を 使わ ず に 引数 （ 束縛 変数 ） を 参照 する ため の 記法 で ある 。

ド・ブラン・レベル ( 英 : De Bruijn Level ) と は 、 ラムダ 計算 において 、 名前 を 使わ ず に 引数 （ 束縛 変数 ） を 参照 する ため の 記法 で ある 。

ド・ブラン 記法 ( 英 : De Bruijn notation ) と は 、 ラムダ 計算 の 表記 の ため の 構文 の 一つ で ある 。

無名 関数 を 表現 する ため の 方法 に は 様々 な もの が ある が 、 近年 主流 な の は ラムダ 式 による 記法 で ある 。

ラムダ 式 ( lambda expression ) は ラムダ 計算 と 関係 が 深く 、 関数 型 言語 で 特に よく 採用 さ れ て いる 。

// ボタン を 押す と メッセージ が 表示 さ れる button 1 . Click += delegate ( System . Object o , System . EventArgs e ) C # 3 . 0 以降 で は ラムダ 式 も 導入 さ れ て いる 。

ラムダ 式 の ほう が 表現 の 幅 が 広く 、 基本 的 に C # で は ラムダ 式 を 用いる 。

ただし 、 匿名 メソッド で は パラメーター リスト を 省略 できる ので 、 匿名 メソッド は さまざま な シグネチャ を 持つ デリゲート に 変換 でき 、 ラムダ 式 で は 出来 ない 。

この 点 において 匿名 メソッド は ラムダ 式 に 勝っ て いる 。

ラムダ 式 で 引数 rec を 余分 持っ て おき 、 rec を 自分 自身 として 参照 する よう に 記述 する 。

' K ' は ドイツ 語 の " Kontinuierlich "( 連続 的 な ) を 意味 し て おり 、 ラムダ ・ クローズド ループ ・ コントロール は 付か ない 。