証明 論 における カリー・ハワード 対応 は 、 直観 主義 論理 における 機能 的 正当 性 の 証明 が ラムダ 計算 における 特定 プログラム に 対応 する と し て いる 。

この 方程式 で 使う λ （ ラムダ ） を ロンドン の 侵入 長 （ しんにゅう ちょう 、 London penetration depth ） と いう 。

解散 後 は ギター の 近藤 将之 が LaMBDA ( ラムダ ） 、 ドラム の 浅沼 俊一 が SWANKY DANK という バンド で 活動 し て いる 。

この クラス は チューリング ・ マシン で 実行 できる プログラム の クラス 、 ラムダ 記法 で 定義 できる 関数 の クラス とも 一致 する 。

1933 年 から 1935 年 ごろ に は 、 チャーチ や クリーネ が やはり 関数 の 構成 的 な 定義 法 で ある ラムダ 記法 を 用い て 定義 可能 な 関数 の クラス を 定め た 。

ロゴ は これ まで に 3 回 変更 さ れ て おり 、 最近 の もの で は RE Λ LFORCE という よう に 「 A 」 の 部分 が Λ （ ギリシア 文字 の ラムダ ） に なっ て おり 、 やや 大きく 暗い 赤 文字 で 表記 さ れる 。

K に 続く 数字 は 開発 番号 で 、 後 の ラムダ ロケット や ミューロケット が 、 一部 例外 が ある ものの 、 段数 を 示す の と は 異なっ て いる 。

観測 成果 は 貧弱 で は ある が 、 スピン 安定 技術 の 習得 , 2 段 目 と 3 段 目 の 結合 切断 法 の 確立 等 、 ラムダ ロケット や ミューロケット 及び 以後 の 観測 ロケット の 発達 において 技術 的 に 大きな 成果 を 残し た 。

また 、 ラムダ 式 から 式 ツリー （ Expression クラス ） の インスタンス を 生成 する こと が 出来る ため 、 この 機能 を 使用 し て データベース へ の クエリ 発行 ・ 収集 を 、 タイプ セーフ 性 を 失う こと なく 直接的 に 行う こと が 出来る （ LINQ to SQL 、 LINQ to Entities など ） 。

その他 、 シグマ 、 ラムダ 、 コルディア 、 デボネア 、 スタリオン 等 も 担当 し た 。

例えば 、 クエリ 式 、 拡張 メソッド 、 ラムダ 式 、 匿名 型 など が そう で ある 。

その後 、 ゲティスバーグ で 郵便 物 や 洗濯 物 の 配達 を する 一方 、 大学 の 喫茶店 で マネージャー を 、 更に ラムダ ・ シ ・ アルファ 男性 社交 クラブ の 給仕 から 支配人 に まで なっ た 。

また 、 ラムダ 計算 で 記述 さ れる 再帰 関数 や マルコフ アルゴリズム で 計算 できる 関数 も 同じ で ある 。

最も よく 使わ れる 略号 は " c " だ が 、 他 の 略号 として " ct "（ ドイツ の 一部 ）, snt （ フィンランド ） 、 ギリシア で は 大文字 の ラムダ （ λεπτό , " lepto " の Λ ） 、 アイルランド で は まれ に アメリカ スタイル の "{ JIS 2004 フォント |¢}"、 そして 科学 技術 および ISO 適合 の 略号 c { JIS 2004 フォント |€} など が ある 。

また 、 バージョン 11 において は 、 次期 C ++ 標準 規格 （ C ++ 11 、 旧称 C ++ 0 x ） で 採用 さ れる こと が 予定 さ れ て いる ラムダ 式 など の 構文 を 早く も サポート し た 。

モノ コック 車体 を 導入 し た 最初 期 の 車 は 1922 年 の ランチア の ラムダ や 1934 年 の シトロエン の トラクシオン・アバン で あっ た が 、 ロータス は 1958 年 の エリート から この 技術 を 採用 し た 。

イプシロン ( Ε ) の 名前 は 、 ラムダ ( Λ ) ロケット ・ ミュー ( Μ ) ロケット など 日本 で 開発 さ れ て き た 固体 ロケット 技術 を 受け継ぐ 意味 を 込め ギリシア 文字 が 用い られ た 。

2008 年 に 輸送 問題 は 解決 し { 要 説明 | date = 2014 年 5 月 }、 JAXA 内 で 、 内之浦 宇宙 空間 観測 所 で の 射 点 を ラムダ 射 点 付近 に 新造 する 案 、 ミュー 射 点 と ラムダ 射 点 の 間 に 新造 する 案 、 ミューランチャ を 改修 し て 使用 する 案 の 3 つ が 検討 さ れ 始め た 。

ISWIM は 、 ラムダ 計算 の 関数 型 コア を 命令 型 言語 の 糖衣 構文 で 包ん だ もの で ある 。

ラムダ 計算 に 基づい て おり 、 高階 関数 と 静的 スコープ の 変数 を 備え て いる 。