高階関数は扱わないけど、タプルは扱うようなラムダ計算のモデルを作ろうと思いました。まず、基礎データの集合Dを固定します。Dからタプルを作るので、Dn とかは扱います。関数型はないので、ベキ（例えば、DD）は必要ありません。そうであるなら、意味論の…