2012年11月3日 (土)
- 15:112012年11月3日 (土) 15:11 差分 履歴 −29 m B,C,K,Wシステム 編集の要約なし
- 15:032012年11月3日 (土) 15:03 差分 履歴 −9 m 正規化 (項書き換え) 編集の要約なし
- 14:582012年11月3日 (土) 14:58 差分 履歴 +231 正規化 (項書き換え) 編集の要約なし
2012年10月23日 (火)
- 14:472012年10月23日 (火) 14:47 差分 履歴 0 m コンビネータ論理 ふつうcalculusを算術とは訳さない
2012年10月22日 (月)
- 04:562012年10月22日 (月) 04:56 差分 履歴 −14 m 合流性 →合流性の例
- 04:552012年10月22日 (月) 04:55 差分 履歴 +2,828 N 正規化 (項書き換え) なかったのでスタブ． タグ: 参考文献（出典）に関する節がない記事の作成
- 03:382012年10月22日 (月) 03:38 差分 履歴 +38 N 単純型付きラムダ計算 とりあえず 最新
- 03:352012年10月22日 (月) 03:35 差分 履歴 +229 ラムダ・キューブ 図を追加．
