Login / Signup

Coherence and Transitivity in Coercive Subtyping.

Yong LuoZhaohui Luo
Published in: LPAR (2001)
Keyphrases
  • artificial intelligence
  • special case