例えば 停止 性 問題 の 代り に ラムダ 計算 の 正規 化 可能 性 問題 や 述語 論理 の 証明 可能 性 問題 を 用い て も よい 。

ランチア の 名 が 世界 各国 で 知ら れる よう に なっ た の は 、 1922 年 登場 の 、 モノ コック 構造 の ボディ に 前輪 独立 懸架 を 組み合わせ 、 先進 的 な オーバーヘッドカムシャフト の エンジン を 搭載 し た ラムダ （ ギリシア 文字 の L ） によって で あっ た 。

アプリリア は 抜群 の ロードホールディング と 優れ た 加速 性 で 「 ラムダ 」 以来 の 傑作 車 と さ れ 、 当時 の アルペン ラリー や モンテカルロ ・ ラリー で 活躍 、 第 二 次 世界 大戦 後 の 1948 年 まで 生産 さ れ た 。

「 ラムダ クリプトン 」 と 読み 、 クリプトン 86 元素 が 一定 条件下 で 発する 橙色 の 光 の 真 空中 波長 の こと 。

最も 些細 な 例 として は 、 次 の Scheme で 示し た ラムダ 計算 の Ω 項 で ある 。

数式 や その 評価 について 、 その 定式 化 は 、 1930 年代 の アロンゾ・チャーチ や ステファン ・ クリーン の ラムダ 計算 によって なさ れ て いる 。

ラムダ 計算 は 現代 数学 や 計算 機 における プログラミング 言語 の 発展 に 多大 な 影響 を もたらし た 。

二つ の 数式 が 同値 で ある と は 、 その 二つ の 数式 が 同じ 値 に 結び付け られ て いる こと を 言う が 、 ラムダ 計算 の 興味深い 結果 の 1 つ に 、 ラムダ 計算 で 2 つ の 数式 が 同値 か どう か 決定 不能 な 場合 の 存在 が 挙げ られる 。

これ は また 、 ラムダ 計算 に 等価 な 能力 を 持つ 任意 の 系 の 、 任意 の 数式 に も あてはまる 。

LISP は ラムダ 算法 に 基づく 記号 処理 を 目的 と し た 計算 モデル で あっ た ため ( その 「 モデル 」 が 大学院生 によって FORTRAN に 移植 さ れ た )、 究極 的 に 数字 と 文字 列 と 関数 と それら の リスト の 間 に 区別 が なく 、 全て が 「 評価 可能 な 対象 」 という 意味 で 等価 で ある 。

また 、 { い つ 範囲 | 現 | date = 2015 年 3 月 } 標準 規格 C ++ 11 より 導入 さ れ た ラムダ 式 を 使う こと で 、 関数 オブジェクト の 定義 を より 簡潔 に 記述 できる よう に なっ た 。

乗用車 として は 1922 年 、 市販 車 で は イタリア の ランチア が ラムダ で 採用 し 、 以降 各社 が この 構造 を 模範 と する よう に なっ て いっ た 。

ハドロン が まだ 内部 構造 を 持た ない 素粒子 だ と 思わ れ て い た 時代 に 、 アイソスピン によって 核 子 や パイ 中間子 は 1 つ の 多重 項 に まとめ られ た が 、 実験 から K 中間子 や ラムダ 粒子 など の 新た な ハドロン が 発見 さ れ て 既存 の 電荷 と アイソスピン だけ で は 分類 でき なく なっ た 。

これ を K 中間子 や ラムダ 粒子 に 拡張 する 上 で 、 核 子 数 N から と 置き換え た もの が 超 電荷 Y で ある 。

この SU ( 3 ) は 、 核 子 の 二 重 項 に ラムダ 粒子 を 加え た の 三重 項 と し た 内部 空間 で の 回転 の 為す 群 で ある 。

なお 、 陽子 や 中性子 、 ラムダ 粒子 も 、 実際 は シグマ 粒子 、 グザイ 粒子 とともに SU ( 3 ) の 下 で 八 重 項 を 形成 し て おり 、 その 一部 を 取り出し た 形 と なっ て いる 。

例えば アロンゾ・チャーチ は ラムダ 計算 を 形式 的 に 表現 でき た 。

しかしながら 、 ラムダ 計算 と 異なり 、 チューリング の コード は プログラミング 言語 の 基礎 を なし た と は 言え ない 。

代入 は プログラム 、 また その 要素 で ある 関数 内 で の 変数 の 変更 を 許す 、 つまり 内部 状態 を 作る ため 数学 的 に は チューリングマシン の よう な 状態 機械 で モデル 化 できる 一方 、 純粋 関数 型 言語 は ラムダ 計算 で モデル 化 できる が 、 両者 で 記述 できる プログラム の 集合 は 同一 で ある こと が 証明 さ れ て いる から で ある 。

ロック ・ ユニット asyura 3 rd （ アシュラ・サード ） で は λ （ ラムダ ） 名義 で mc を 担当 し て いる 。