檢視檔案:型別理論與形式證明筆記Sec2.8-2.13.pdf 的原始碼

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

由於下列原因，您沒有權限進行編輯此頁面的動作：

您請求的操作只有這個群組的使用者能使用：使用者

您可以檢視並複製此頁面的原始碼。

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

Typst原始碼：[[型別理論與形式證明筆記Sec2.8-2.10.pdf/原始碼]]

[[category:邏輯學]]
[[category:資訊]]

返回到「檔案:型別理論與形式證明筆記Sec2.8-2.13.pdf」。

取自「https://kianting.info/wiki/w/檔案:型別理論與形式證明筆記Sec2.8-2.13.pdf」