Coherence and Transitivity in Coercive Subtyping - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yong Luo, Zhaohui Luo. Coherence and Transitivity in Coercive Subtyping. In Robert Nieuwenhuis, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings. Volume 2250 of Lecture Notes in Computer Science, pages 249-265, Springer, 2001. [doi]

This author has not been identified. Look up 'Yong Luo' in GoogleThis author has not been identified. Look up 'Zhaohui Luo' in Google

runs on WebDSL