你即將離開本站

並前往https://zh.wikipedia.org/zh-tw/%E6%9F%AF%E9%87%8C-%E9%9C%8D%E5%8D%8E%E5%BE%B7%E5%90%8C%E6%9E%84

柯里-霍華德同構- 維基百科

類型可以依賴於類型變量，它被指示為小寫的希臘字母α, β等等。 ... Howard, William A., The formulae-as-types notion of construction, Seldin, Jonathan P.; ...

確定！ 回上一頁

查詢 「notion希臘字母」的人也找了：

  1. Notion
    2.
  2. Notion emoji
    3.
  3. notion置中
    4.
  4. Notion 提醒通知
    5.
  5. notion公式
    6.
  6. notion字體
    7.
  7. notion分數
    8.
  8. Notion 日期格式
    9.