你即將離開本站

並前往http://www.numdam.org/item/DIA_1990__23__43_0/

Substitution up to isomorphism - Numdam

[ACCL] M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy, Explicit Substitutions, in Proc. ACM Principles of Programming Languages, San Francisco ( 1990).

確定！ 回上一頁

查詢 「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.