「置換の圏から代入の圏へ」で述べた圏Subst[Σ]上で、ラムダ計算をしてみます。ラムダ計算とはいっても、ラムダ風なだけで、構文は本来のラムダ計算からだいぶ離れます。ランク付きアルファベットΣとしては、「置換の圏から代入の圏へ」の最後のほうで挙げた…

父親：「君ら、いつまでサッカー見てるんだ」長男：「前半が終わったら … 」次男：「一定のメドがついたらやめるよ」