2013年3月27日 (水)
- 23:282013年3月27日 (水) 23:28 差分 履歴 −28 コンビネータ論理 →ラムダ抽象から同値なcombinatorial termへの変換
- 23:232013年3月27日 (水) 23:23 差分 履歴 −126 SKIコンビネータ計算 →直観主義論理との関係
- 23:202013年3月27日 (水) 23:20 差分 履歴 +16 SKIコンビネータ計算 →ラムダ計算との関係
- 23:192013年3月27日 (水) 23:19 差分 履歴 +971 SKIコンビネータ計算 編集の要約なし
- 23:072013年3月27日 (水) 23:07 差分 履歴 −248 SKIコンビネータ計算 →形式的な定義
- 23:022013年3月27日 (水) 23:02 差分 履歴 +6 B,C,K,Wシステム 編集の要約なし