08/11/12 08:27:21
>>368
> >>365
> λx.λy..x
> =λx.x
> でしょ。
そんなequalityを持つλ計算の体系は見たことが無い
08/11/12 08:27:21
>>368
> >>365
> λx.λy..x
> =λx.x
> でしょ。
そんなequalityを持つλ計算の体系は見たことが無い
08/11/12 08:27:21
>>368
> >>365
> λx.λy..x
> =λx.x
> でしょ。
そんなequalityを持つλ計算の体系は見たことが無い