エンジン も ラムダ 以来 の 狭 角 V 型 4 気筒 で 、 シリンダーヘッド は SOHC 構造 と なっ て い た 。

代表 的 な 例 は 、 液晶 における らせん 転位 や 刃 状 転位 、 超 伝導 における 磁束 管状 フラックス ( magnetic flux tube )、 超 流動 における 渦 など の { 仮 リンク | ラムダ 転移 | en | Lambda transition }( Lambda transition ) を 持つ ユニバーサリティクラス の 系 に 見 られる 。

以上 の 体系 は すべて （ 型 の ない ラムダ 計算 以外 ） 、 「 強く 正規 化 ( strongly normalizing )」 する 。

しかし 、 強く 正規 化 し ない 型付き ラムダ 計算 も 存在 する 。

全て の 型 の 型 ( Type : Type ) を 持つ 依存 型付き ラムダ 計算 は Girard ' s paradox により 正規 化 し ない 。

この 系 は 最も 単純 な 純粋 型 システム で も あり 、 ラムダ ・ キューブ を 一般 化 し た 形式 手法 で ある 。

型付き ラムダ 計算 は プログラミング 言語 の 新た な 型 システム の 設計 で 重要 な 役割 を 演じ て いる 。

プログラミング において 、 強い 型付け の プログラミング 言語 の ルーチン （ 関数 、 プロシージャ 、 メソッド ） は 、 型付き ラムダ 計算 と 密接 に 関連 し て いる 。

Eiffel に は " inline agent " の 記法 が あり 、 型付き ラムダ 式 を 直接 定義 し て 操作 できる 。

ソ連 崩壊 後 、 病気 の 母 の 治療 費 を 稼ぐ ため に プロ に 転向 し 、 ラムダ と共に 来日 し 音羽 ジム と 契約 、 期待 の 新人 輸入 ボクサー として 注目 を 浴びる 。

これ に 不満 を もっ た 魔女 ラムダ デルタ と 魔女 ベルンカステル は 、 ベアトリーチェ の ゲーム 盤 を のっとり 、 自分 たち だけ で 第 5 の ゲーム を 開始 する 。

テューキー の 名 を 冠し た 用語 として は 、 テューキー 検定 （ テューキー の 方法 ） 、 テューキー の ラムダ 分布 、 テューキー・クレーマー の 方法 、 テューキー の 補題 など が ある 。

エンジン は 当初 、 グレン ジャー の V 6 · 3 . 3 L の λ （ ラムダ ） エンジン を 拡大 し た V 6 · 3 . 5 L （ 290 PS ） を 頂点 に 、 V 6 · 2 . 7 L （ 200 PS ） と 同 LPI （ 165 PS ） 、 直 4 · 2 . 4 L （ 180 PS ） の 4 種類 を 用意 し て い た が 、 2011 年 に 5 代目 グレン ジャー に 搭載 さ れる 3 . 0 L ・ 直 噴 （ GDi ） エンジン （ 275 PS ） と 3 . 0 L ・ LPI エンジン （ 235 PS ） が 追加 さ れ た 。

ラムダ 粒子 （ ら むだ りゅう し ） と は 、 素粒子 物理 学 において バリオン に 分類 さ れる ハドロン の 一 種 で ある 。

最初 に 見つかっ た ラムダ 粒子 は 、 1947 年 に 宇宙 線 の 相互 作用 から 発見 さ れ た 。

トップ ラムダ は リスト に 載っ て いる が 、 トップクォーク が バリオン を 作る ほど 安定 で は ない ため 、 観測 さ れ ない と 考え られ て いる 。

チャーチ・ロッサー 性 は ラムダ 計算 で の ベータ 簡約 の 合流 性 を 示す チャーチ・ロッサー の 定理 で 用い られ た 。

これ は P → Q と 似 て いる が 実は 同じ もの で 、 カリー・ハワード 対応 （ カリー・ハワード 同型 対応 、 Curry - Howard correspondence ） に よれ ば 、 関数 型 は 論理 包含 に 関係 し て おり 、 ラムダ 抽象 は 自然 演繹 における 仮説 、 関数 の 適用 は モーダスポネンス に 相当 する 。

たとえば 単純 型付き ラムダ 計算 （ simply typed lambda calculus ） は 、 カルテ シアン 閉圏 （ デカルト 閉圏 ） の 言語 に 相当 する 。

また 、 C # バージョン 3 で は ラムダ 式 の サポート が 追加 さ れ た 。