諸概念のラムダ式での表現.
自然数と算術.
自然数をラムダ式で表現する方法はいくつか異なる手法が知られているが、その中でもっとも一般的なのは（）と呼ばれるもので、以下のように定義されている。
また、加算は以下のように定義できる。
もしくは
論理記号と述語.
TRUE や FALSE といった真理値は慣習的に以下のように定義されることが多い。これらは（）とよばれている。
これらの真理値に対して論理記号を定義することができる。たとえば、以下のようなものがある。
これらの記号を使った計算の例を挙げる。
以上より、 AND TRUE FALSE が FALSE と等しいことがわかる。
対.
再帰.
計算可能性とラムダ計算.
同値性の決定不可能性.
チャーチ・ロッサー性.
チャーチ・ロッサー性は本稿で取り扱っている型無しラムダ計算の体系では成立することが知られている。しかしその他の体系、例えば型を付けて拡張されたラムダ計算の体系などに関しては、必ずしも成り立つとは限らない。
停止性.
強正規化的であり、かつ弱チャーチ・ロッサー性を持つラムダ計算の体系はチャーチ・ロッサー性を持つ（）。
型無しラムダ計算の体系では、ある式の停止性を判断する事は決定不能であることが証明されている。
ラムダ計算とプログラミング言語.
ラムダ計算をコンピュータ上に実装するには、関数を第一級オブジェクトとして取り扱う必要があり、これはスタック・ベースのプログラミング言語においては問題となってくる。これはとして知られている。
並行性.
概要.
アーキテクチャ.
サーバとクライアント間の通信プロトコルは、ネットワーク透過性を備える。クライアントとサーバは同じマシン上でも動作するし、別々のマシン上でも動作する。双方のアーキテクチャやOSが違っていても構わない。クライアントとサーバ間の通信は、インターネット上でもトンネリングによって安全に行うことができる。
リモートクライアントの実用的な利用例として、次のようなものがある。
設計思想.
ユーザインタフェース.
実装.
Windows.
スマートフォン・タブレット.
ユーザインタフェース機能.
ネットワーク.
クライアント/サーバの分離.
ディスプレイドライバのクラッシュ時に発生する問題.