generated at
2/17/2025, 2:36:14 PM
部分項
ラムダ計算
の部分項
subterm
項を集合と見たときの、部分集合みたいなやつ(雑)
定義 ref
p.74
x\in\mathcal{V}
の部分項は
x
(MN)
の部分項は、
M
の部分項、
N
の部分項、
(MN)
それ自身
\lambda x.M
の部分項は
M
の部分項と
\lambda x.M
それ自身
真部分項
上の定義で、自分自身を含まない部分項