你即將離開本站

並前往https://www.books.com.tw/products/F010387145

Lectures on the Curry-howard Isomorphism - 博客來

The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as ...

確定！ 回上一頁

查詢 「Isomorphism」的人也找了：

  1. isomorphism中文
    2.
  2. isomorphism定義
    3.
  3. Isomorphism
    4.
  4. isomorphism發音
    5.
  5. isomorphism代數
    6.
  6. isomorphism意思
    7.
  7. Isomorphism linear Algebra
    8.
  8. isomorphic中文
    9.