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