ラムダ計算スレ

ラムダ計算スレ (4ﾚｽ)
上下前次 1-新

1: 名無しさん＠お腹いっぱい。 [] 2024/01/02(火) 05:11:50.81 ID:2mBzHGDK0(1) AAS
語れ

2: 名無しさん＠お腹いっぱい。 [] 2024/10/08(火) 18:34:14.33 ID:q0whpqTg0(1) AAS
誰も語ってなくてワロタ

3: 名無しさん＠お腹いっぱい。 [] 2024/11/09(土) 02:58:32.80 ID:XNaW7Swu0(1) AAS
単純型付きラムダ計算の表現力ってどれぐらいか知ってる人いる？

4: 名無しさん＠お腹いっぱい。 [] 2025/08/13(水) 01:10:32.30 ID:36SSa8Pm0(1) AAS
∀と∃はλの亜種のバインダーだと思うんだけれど、それぞれλで表現するとどうなるんだ