你即將離開本站

並前往https://read01.com/Rn2RaEe.html

λ→ à la Church 學習筆記-3（純類型系統PTS） - 壹讀

定義4：. 是的縮寫，在立方體中的八個系統中我們使用就足夠了，也就是說，在立方體中的系統里不存在異於的. 如果在一個PTS 中， ，那麼我們稱該PTS是豐滿（full）的。

確定！ 回上一頁

查詢 「pts縮寫」的人也找了：

  1. pts醫學
    2.
  2. PTS
    3.
  3. pts教育
    4.
  4. pds意思
    5.