1974 年 12 月 、 スコットランド の エディンバラ で 行わ れ た 国際 同性愛 者 人権 会議 （ International Gay Rights Congress ） で ゲイ ・ レズビアン の 人権 を 象徴 する 国際 的 な シンボル に ラムダ は 正式 に 選ば れ た 。

ヒューマン・ライツ・キャンペーン （ en ） や 、 ラムダ ・ リー ガル （ en ） 、 エンパワーリング・スピリッツ・ファンデーション （ en ） 、 中傷 と 闘う ゲイ & レズビアン 同盟 （ GLAAD ） など の 団体 が アメリカ 国内 で は LGBT の 人々 に関する 事柄 を 広く 支援 し て いる 。

うし かい 座 ラムダ 型 星 ( Lambda Boötis star ) は 、 恒星 の 表層 に 鉄 ピーク の 元素 の 存在 量 が 極めて 少ない 特異 星 の 一つ の タイプ で ある 。

プロトタイプ は うし かい 座 ラムダ 星 で ある 。

その他 、 ラムダ 計算 や 関数 型 言語 の 研究 で も 知ら れる 。

プラットフォーム は ビュイック・アンクレイブ や GMC ・ アカディア と 同じ GM ラムダ プラットフォーム を 採用 する 。

これら ラムダ プラットフォーム 車 の 生産 は ランシング の ランシング・デルタ・タウンシップ 組立 工場 にて 行わ れ て いる 。

ハワード は 他 の 論理 の 結合 子 と 単純 型付き ラムダ 項 の 他 の 構成 と の 間 に 対応 を 拡張 できる こと を 示し た 。

とりわけ 、 ラムダ 計算 における 正規 形 の 概念 は 自然 演繹 における プラヴィッツ の 正規 な 証明 に 対応 する 。

型付け られ た ラムダ 項 は 正規 形 を 持つ という 結果 （ 正規 化 定理 ） は 、 自然 演繹 の 無 矛盾 性 や 論理 和 分離 特性 の 証明 に 利用 できる 。

ハワード の 対応 は 自然 演繹 および ラムダ 計算 の 拡張 に対して も 自然 に 延長 できる 。

網羅 的 で は ない が ここ に 列挙 し て おく ： ハワード の 対応 は また 自然 演繹 および ラムダ 計算 の 制限 に対して も 成り立つ 。

ここ で BCK λ 計算 と は 、 ラムダ 項 の 構成 の うち 関数 適用 の 規則 を と 制限 する こと により 得 られる 項 書換え 系 で ある 。

さらに ラムダ 項 の 構成 の うち ラムダ 抽象 の 規則 を と 制限 する こと により 得 られる 体系 は BCI 論理 と 対応 する 。

グリフィン は プログラム の 実行 における 評価 文脈 （ 継続 ） を キャプチャ し それ を 再度 使用 する よう な 制御 演算 子 を 持つ ラムダ 計算 が 古典 論理 と 対応 する こと を 指摘 し た 。

なお 、 古典 論理 の 証明 から 直観 論理 の 証明 へ の 変換 （ グリベンコ の 定理 ） に 用い られる 二 重 否定 変換 は 、 制御 演算 子 を 持つ ラムダ 項 から 純粋 な ラムダ 項 へ の CPS 変換 に 対応 する 。

レズビアン 作家 の メリッサ・スコット は LGBT の 登場 人物 を 取り入れ た サイバーパンク 作品 を いくつ か 書い て おり 、 ラムダ 文学 賞 を 受賞 し た Trouble and Her Friends ( 1994 ) と Shadow Man ( 1995 ) など が ある 。

マーセデス・ラッキー の 作品 に も その よう な 登場 人物 が 見 られ 、 ラムダ 文学 賞 を 受賞 し た 《 最後 の 魔法使 者 》 三 部 作 ( 1989 - 91 ) で は 主人公 たち が ゲイ で 、 魔法 を 使える 。

研究 教育 コミュニティ は さらに 開発 を 進め 、 NSF の { 仮 リンク | vBNS | en | Very high - speed Backbone Network Service } ( Very high - speed Backbone Network Service )、 Internet 2 、{ 仮 リンク | ナショナル ・ ラムダ レール | en | National LambdaRail } など の 進化 し た ネットワーク を 使っ て いる 。

また 、 その 時 、 同 大学 の ラムダ ・ カイ ・ アルファ 学生 友愛 会 に も 活発 に 関わっ た 。