Avatar
ちなみに型付きラムダ計算での定義は、
8:21 AM
対象は、型付ラムダ計算の型の有限列。
8:23 AM
射は、プログラムの同値類列、
👀 1
8:23 AM
で定義してました。