程式語言、邏輯學

出自Tan Kian-ting的維基

於 2022年2月15日 (二) 08: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
- 關於編譯器的一些想法
Rust筆記

關聯條目

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