ラムダ計算セルフブログリレー5日目, 最終回です. 今日も平常運転, くまちゃんです. 4日目はこちら. あれ？4日目をさっき書いたような気もするんですけど...まあいいでしょ笑笑 kumachan-math.hatenablog.jp今日は例を使ってバリバリ証明図を書いていくぞー…

ラムダ計算セルフブログリレー4日目です. 今日も平常運転, くまちゃんです. 3日目はこちら. kumachan-math.hatenablog.jp今日からは, 型の話です. 型の話をするために, ラムダ計算を拡張したFL言語というものを考えましょう. FL言語は, ラムダ計算にint型とb…