「 ラムダ 」 は 、 ランチ ア社 の 創始 者 ヴィンチェンツォ・ランチア 自身 の 指揮 で 開発 さ れ 、 1922 年 の パリ サロン で デビュー し た 。

この よう な 技術 レベル の 時代 、 ラムダ は 世界 で 初めて 全 鋼 製 モノコックフレーム を 採用 し た 。

ラムダ の 登場 による 技術 の 進歩 は 批評 家 から 「 当時 の 実用 車 の 技術 的 進化 を 一気に 10 年 も 早め た 」 と 評価 さ れ た 。

ラムダ は 商業 的 に も 成功 を 収め 、 足かけ 10 年 に 渡っ て 生産 さ れ て 、 最終 的 に は シリーズ 9 まで 生産 さ れ た 。

臼歯 は 、 上顎 プロトコーン （ 食物 を すり潰す 為 の 円錐 形 突起 の 一つ ） が 発達 し て おり 、 ザランドドント （ Zalambdodont 、 ザ = The 、 ランダ = ラムダ 、 ドント = 歯 ） と よば れる 、 V 字 型 の 畝 を 持つ 狭い 三角形 で あっ た 。

3 回 回転 軸 から 見 て 、 二 座 配 位 子 が 形成 する 螺旋 構造 が 左 回り の もの は Λ （ ラムダ ） 、 右 回り の もの は Δ （ デルタ ） 体 と 呼ぶ 。

デカルト 閉 な 圏 は ラムダ 計算 の 自然 な 設定 が できる という 点 で 数理 論 理学 および プログラミング の 理論 において 特に 重要 で ある 。

計算 機 科学 における 応用 で は これ は カリー 化 として 知ら れ 、 単純 型付 ラムダ 計算 の 任意 の デカルト 閉圏 における 解釈 を 実現 に 導く 。

カリー - ホワード - ランベック 対応 は 直観 主義 論理 、 単純 型付 ラムダ 計算 、 デカルト 閉圏 の 間 の 深い 同型 を 与える 。

CEK 機械 と は 、 ラムダ 計算 に対して 値 渡し 評価 戦略 の 操作 的 意味 論 を 与える ため の 抽象 機械 の 1 つ で ある 。

拡張 ラムダ 計算 に対する CEK は 次 の よう に 定義 さ れる 。

まず 、 拡張 ラムダ 計算 を 次 の よう に 定義 する 。

プラットフォーム は シボレー ・ トラバース や GMC ・ アカディア と 同じ GM ラムダ プラットフォーム を 採用 する 。

エンジン は 他 の ラムダ プラットフォーム 採用 車 と 共通 の V 型 6 気筒 3 . 6 L LY 7 エンジン を 搭載 し 、 6 速 オートマチックトランスミッション が 組み合わせ られる 。

また 、 2009 年 モデル から は 、 エンジン の 出力 ・ トルク が 他 の ラムダ プラットフォーム 採用 車 とともに 向上 し た 。

生産 は 、 他 の ラムダ プラットフォーム 採用 車 とともに 、 ランシング の ランシング・デルタ・タウンシップ 組み立て 工場 において 行わ れる 。

プラットフォーム は 、 GM ラムダ プラットフォーム を 採用 し た 。

生産 は ほか の ラムダ プラットフォーム 採用 車 と共に 、 ランシング の ランシング・デルタ・タウンシップ 組立 工場 において 行わ れる 。

ただし 、 青 鍵 が 扱い やすい 主 武装 な の に対して 赤 鍵 は 非常 武装 で あり 、 使用 に は 天界 大法 院 による 厳重 な 審査 のみ なら ず 、 元老 院 議員 の ラムダ デルタ による 使用 ・ 能力 の 制限 も 課さ れ て いる 。

サスペンション は 1922 年 登場 の ラムダ 以来 の スライディング ピラー 式 前輪 独立 サスペンション に 加え 、 後 輪 も スウィングアクスル 式 の 独立 と なっ た 。