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