） この ため 、 ラムダ 計算 を 用い て 種々 の 非 決定 的 評価 戦略 を モデル 化 する こと が できる 。

反面 、 近年 多く の プログラミング 言語 が 導入 し て いる ジェネリクス や ラムダ 式 を サポート し て い なかっ た ため 、 ジェネリックプログラミング や 関数 型 プログラミング に は 不向き だっ た が 、 Delphi 2009 の Delphi 言語 で は 、 ジェネリクス および 無名 メソッド （ 匿名 メソッド ） が 正式 サポート さ れ て いる 。

この 例 は 、 ラムダ 計算 における ( λ x y .( x + y )) を LISP で 表現 し た もの で ある 。

位相 差 π （ 180 度 ） を 生じる もの を λ / 2 板 （ に ぶん の ラムダ ばん ） または 半 波長 板 と 呼び 、 直線 偏 光 の 偏 光 方向 を 変える ため に 用いる 。

位相 差 π / 2 （ 90 度 ） を 生じる もの を λ / 4 板 （ よん ぶん の ラムダ ばん 、 しぶ ん の ラムダ ばん ） または 四 分の 一 波長 板 と 呼び 、 直線 偏 光 を 円 偏 光 （ 楕円 偏 光 ） に 変換 、 また 逆 に 円 偏 光 （ 楕円 偏 光 ） を 直線 偏 光 に 変換 する ため に 用いる 。

アロンゾ・チャーチ と スティーブン ・ コール ・ クリーネ が 開発 し た ラムダ 計算 により 、 計算 可能 性 理論 の 定式 化 に 重要 な 役割 を 果たし た 。

ラムダ 計算 は ペアノ の 公理 を 満たす 自然 数 の 、 違っ た 構成 法 を 与える 。

180 度 回転 さ せ た 小文字 ʎ は 、 硬 口蓋 側 音 （ 「 リ 」 の よう に 聞こえる 音 ） で ある が 、 ギリシャ 文字 λ （ ラムダ 小文字 ） の 変形 で ある 。

この 頃 、 まだ Q 資料 という 呼び 方 は なく 、 パ ピアス の 記述 を もと に 「 語録 （ ロ ギア ） 」 と 呼ば れ て い た が 、 ホルツマン は この 資料 を 「 ロ ギア 」 の 頭文字 から 「 ラムダ 資料 」 と 呼ん だ 。

19 世紀 の 終わり に なる と パピアス の 記述 を イエス 語録 の こと と みる の は 問題 が 多い という 指摘 が さ れる よう に なっ た ため 、 パ ピアス に 由来 する 「 ラムダ 資料 」 という 呼び 方 に 変え て 、 ドイツ 語 で 「 資料 」 を あらわす 「 Quelle 」 の 頭文字 を とっ た 中立 的 な 「 Q 資料 」 と 呼ば れる よう に なっ た 。

それら は 、 最も 軽い 核 子 N （ 陽子 p と 中性子 n ） を 始め 、 デルタ 粒子 Δ 、 ラムダ 粒子 Λ 、 シグマ 粒子 Σ 、 グザイ 粒子 （ カスケード 粒子 ） Ξ 、 オメガ 粒子 Ω と 呼ば れる 。

アイソスピン I が 異なる バリオン は 、 アップ 、 ダウン 、 スト レンジ のみ で 構成 さ れ た バリオン で の 中 で は 、 ラムダ 粒子 Λ 0 （ uds 、 I = 0 ） と 中性 シグマ 粒子 Σ 0 （ uds 、 I = 1 ） のみ で 、 別 の 名前 が 付い て いる 。

たとえば 、 ラムダ 粒子 Λ 0 ( uds ) に対し チャームドラムダ 粒子 Λ c + ( udc ) の よう に する 。

二 座 配 位 子 による ねじれ が 左 回り の もの は Λ （ ラムダ ） 、 右 回り の もの は Δ （ デルタ ） 体 と 呼ぶ 。

Image : Liquid _ Helium . jpg | ゆっくり と 気化 する デュワー 瓶 中 の 液体 ヘリウム Image : Liquid _ helium _ lambda _ point _ transition . jpg | ラムダ 転移 ： 温度 が 転移 点 で ある 2 . 17 K 以上 の 液体 ヘリウム で は 気泡 が 液体 の 中 から 生じる 形 で 沸騰 する 。

宇宙 定数 は スカラー 量 で 、 通常 Λ （ ラムダ ） と 書き表さ れる 。

フレーゲ は 命題 論理 と 述語 論理 の 公理 化 を 最初 に 行っ た 人物 で あり 、 特に 述語 論理 は それ 自体 が フレーゲ の 発明 で ある （ 実際 に は 概念 記法 は 高階 論理 の 体系 で あり 、 ラムダ 計算 の 祖 と も いえる 極めて 先駆 的 な もの で ある ） 。

1995 年 に ラムダ システムズ 製 の デジタルテロッパー （ テレビ神奈川 において は 初代 機 ） が 導入 さ れ 、 テロップ 電子 化 の 先駆け と なっ た が 、 当初 は 生放送 情報 番組 中心 の 運用 と なっ た 。

関数 リテラル の 省略 構文 として ラムダ 式 が ある 。

ラムダ 式 で は 内容 に 応じ て 、 デリゲート で ある 必要 が ある 場合 は デリゲート に なる 。