t_wの輪郭
『計算論理学 (けいさんろんりがく)』
『『計算論理学』講義資料』
2023/9/27 14:50:00
http://www.cs.tsukuba.ac.jp/~kam/lecture/complogic2015/main.pdf
五十嵐淳『プログラミング言語の基礎概念』(サイエンス社)
大堀淳『プログラム言語の基礎理論』 (共立出版)
「普通の論理は、直観主義論理に対する拡張」
『『計算論理学』講義資料』
型付きラムダ計算
本
五十嵐淳『プログラミング言語の基礎概念』(サイエンス社)
2023/9/27 14:54:00
あれ
『『計算論理学』講義資料』
型付きラムダ計算
本
大堀淳『プログラム言語の基礎理論』 (共立出版)
2023/9/27 14:53:00
あれ
『『計算論理学』講義資料』
直観主義論理
「普通の論理は、直観主義論理に対する拡張」
2023/9/27 14:51:00
あれ