一般にラムダ式の中にβ-変換できる部分式が複数ある場合、どこから評価を行うかによって評価の経過は複数存在する。それらの複数の経過からさらに評価することによって、同じラムダ式を得られる性質をチャーチ・ロッサー性、もしくは合流性と呼ぶ（チャーチ・ロッサーの定理）。また、あるラムダ式から一回のβ-簡約によって得られた二つのラムダ式が、同じラムダ式にβ-変換されるという性質は弱チャーチ・ロッサー性と呼ばれる。チャーチ・ロッサー性を持つ体系は弱チャーチ・ロッサー性も持つが、逆は必ずしもなりたたない。チャーチ・ロッサー性は本稿で取り扱っている型無しラムダ計算の体系では成立することが知られている。しかしその他の体系、例えば型を付けて拡張されたラムダ計算の体系などに関しては、必ずしも成り立つとは限らない。
自然数から自然数への関数 F: N → N が計算可能であるということは、全ての自然数の対 X, Y に対して F(X) = Y と f x == y が同値となるようなラムダ式 f が存在すること、と定義することができる。ここで、 x, y はそれぞれ X, Y に対応するチャーチ数によるラムダ式である。この定義は、計算可能性を定義する多くの方法のうちのひとつである。より詳しくは、チャーチ-チューリングの提唱の項を見よ。
上で述べたように、ラムダ計算は計算可能な全ての関数を表現することができる。また、上では 2 + 3 のような算術をラムダ式の一部として用いた。 2 + 3 などは計算可能であるから、もちろんラムダ計算による表現が可能である。もちろん、 2 + 3 以外にも計算可能な全ての関数の表現が可能である。ここではそれらのうちの主なものを紹介する。
元々チャーチは、数学の基礎となり得るような完全な形式体系を構築しようとしていた。彼の体系がラッセルのパラドックスの類型に影響を受けやすい（例えば論理記号として含意 → を含むなら、λx.(x→α) にYコンビネータを適用してカリーのパラドックスを再現できる）ということが判明した際に、彼はそこからラムダ計算を分離し、計算可能性理論の研究のために用い始めた。この研究からチャーチは一階述語論理の決定可能性問題を否定的に解くことに成功した。
大阪府出身。慶應義塾大学文学部西洋史学科卒業。東京大学大学院理学研究科人類学専門課程単取得退学。東京大学総合資料館助手、同助教授、同教授を経て、国際日本文化研究センター教授を歴任。2004年より2015年まで、高知工科大学総合研究所博物資源工学センター長・教授を務めた。1989年 東京大学より学術博士。論文の題は「Cultural Dichotomization in Prehistoric Japan -A Theoretical Model for the Dynamics of the Cultural Trantition from Hunting-Gathering to Agriculture in Japan(日本先史文化の2分性に就いて -日本に於ける採集狩猟社会から農耕社会への文化変化に関する一理論モデル) 」。主にネアンデルタール絶滅仮説の検証や現生人類の起源の研究を行っている。2016年度大同生命地域研究賞受賞。
赤澤 威（あかざわ たける、1938年11月9日 - ）は、日本の人類学者。専攻は先史人類学・旧石器考古学。国際日本文化研究センター名誉教授、高知工科大学名誉教授。
とあることをきっかけに、がさつに生きる決意をした天童春菜。彼女は高校の夏休みに、軽音楽部のメンバーに誘われるまま、20万円の報酬がある自A隊の体験合宿に参加する。厳しい訓練をこなす春菜たちの耳に、命をかけた特殊任務をこなせば、100万円が手に入るという情報が入った。春菜は死線をくぐることで自分を変えたいと願い、参加を決意する。他の軽音楽部員も、将来設計やお金のために参加を申し込む。だがそこで明かされた任務は、1943年のユーゴスラビアに時空移動し、チトーのパルチザンを助けナチス・ドイツと戦うというとんでもないもの。彼らの希望は、欲しいものをなんでも届けてくれる宅配便だった。
『宅配コンバット学園』（たくはいコンバットがくえん）は、軽井沢洋一による日本のライトノベル。イラストは大田優一が担当。2010年、スーパーダッシュ文庫（集英社）より刊行。本作は持込デビューであり、編集長より「発想のばかばかしさ」が評価された。
1994年から1995までオリンピックのロシア代表に選ばれ5試合に出場をした。2000年4月26日、アメリカ代表との親善試合でA代表デビューを果たした。2002 FIFAワールドカップでは第一GKとして招集され、計3試合に出場をしたがグループステージで敗退をした。その後はクラブでの不調により、2002年8月21日に行われたスウェーデン代表との試合を最後に代表に招集されなくなった。代表では2000年から2002年までの間に24試合に出場をした。
語部（かたりべ、かたらいべ）とは、古代の日本において、おそらくは漢字の輸入される以前の文字による記録が発達していなかった時代の御阿礼（みあれ）や御贄（みにえ）貢進の寿詞（よごと）として、また文字記録がおなわれる時代となっても、王権の古伝承を語り伝え宮廷の儀式で奏上する専門の品部として置かれていた。現在、確認される語部の分布が、東は遠江、美濃、西は出雲、備中の範囲を出ず、早い時期に宮廷の儀礼に入れられたと考えられている。日本で文献学的に確認できるのは古事記における稗田阿礼と出雲国風土記における安来郷の語臣猪麻呂とされる。具体的な語部の奏上は『延喜式』にもみられ、践祚大嘗祭の折に、伴宿禰、佐伯宿禰が、美濃より8人、丹波より2人、丹後より2人、但馬より7人、因幡より3人、出雲より4人、淡路より2人の語部を率いて古詞（ふるごと）を奏した、とある。内容については「其（そ）の音、祝詞（のりと）に似たり」とあるだけで詳らかでないが、おそらくは皇霊の始源や継承の由来にわたる伝承であったと考えられる。国外から諸宗教が入ると古来伝統のものは祝詞、民間に下りたものは祭文、詞章、語りものと呼び方や意味合いを変えて発展していくことになる。