程式語言、邏輯學

於 2022年2月21日 (一) 00:21 由 Tankianting（討論 | 貢獻）所做的修訂（→‎程式語言）

(差異) ←上個修訂 | 最新修訂 (差異) | 下個修訂→ (差異)

${\frac {A\rightarrow B~~~A}{B}}$

邏輯學、型別理論

形式邏輯筆記 (Note of Forall X)
型別理論與形式證明筆記 (Note of Type Theory and Formal Proof: An Introdution)

程式語言

TeX for the Impatient 兩三事 (原書)
玩具語言
- 中間語言
  - File:C-like S-scheme 格式架構.pdf
  - File:玩具語言BNF.pdf
- 關於編譯器的一些想法
Rust筆記
視覺化2個文件的差分 (diff) vim -d 檔案1 檔案2

關聯條目

取自「https://kianting.info/wiki/index.php?title=程式語言、邏輯學&oldid=1387」