Coercion completion and conservativity in coercive subtyping

Zhaohui Luo. Coercion completion and conservativity in coercive subtyping. Annals of Pure and Applied Logic, 113(1-3):297-322, 2001.

No reviews for this publication, yet.