你即將離開本站

並前往https://pdxscholar.library.pdx.edu/open_access_etds/2674/

Irrelevance, Polymorphism, and Erasure in Type Theory

In previous work on identifying and removing irrelevant portions of programs, computational irrelevance is usually treated as an intrinsic property of ...

確定！ 回上一頁

查詢 「Irrelevance」的人也找了：

  1. irrelevance中文
    2.
  2. Irrelevance
    3.
  3. Irrelevant
    4.
  4. Relevant
    5.
  5. Relevant information 中文
    6.
  6. More relevant to
    7.
  7. Where relevant 中文
    8.
  8. Abhorrence
    9.