檔案:型別理論與形式證明筆記Sec2.8-2.13.pdf

此 PDF 檔案的 JPG 預覽的大小：424 × 599 像素。

原始檔案 ‎（1,240 × 1,753 像素，檔案大小：1.44 MB，MIME 類型：application/pdf，4 頁）

摘要

Type Theory and Formal Proof: An Introduction　型別理論與形式證明筆記Sec2.8-2.10

點選日期/時間以檢視該時間的檔案版本。

	日期/時間	縮⁠圖	尺寸	使用者	備⁠註
目前	2024年9月11日 (三) 00:05		1,240 × 1,753，4 頁（1.44 MB）	Tankianting（討論 \| 貢獻）
	2024年9月3日 (二) 01:04		1,240 × 1,753，2 頁（1.39 MB）	Tankianting（討論 \| 貢獻）	Type Theory and Formal Proof: An Introduction型別理論與形式證明筆記Sec2.8-2.10

無法覆蓋此檔案。

下列頁面有用到此檔案：

此檔案中包含其他資訊，這些資訊可能是由數位相機或掃描器在建立或數位化過程中所新增的。若檔案自原始狀態已被修改，一些詳細資料可能無法完整反映出已修改的檔案。