Publications de
Zhaohui Luo, Sergei Soloviev, Tao Xue
Coercive subtyping: Theory and implementation.
Dans : Information and Computation, Elsevier, Vol. 223, p. 18-42, février 2013.
Coercion Completion and Conservativity in Coercive Subtyping
Dans : Annals of Pure and Applied Logic, Elsevier, Vol. 113 N. 1-3, p. 297-322, janvier 2002.
Yong Luo, Zhaohui Luo, Sergei Soloviev
Weak transitivity in coercive subtyping
Dans : International Workshop, TYPES2002, Berg en Dal, The Netherlands, 24/04/02-28/04/02, Herman Geuvers, Freek Wiedijk (Eds.), Springer, LNCS 2646, p. 220-239, avril 2002.
Sergei Soloviev, Alex Jones, Zhaohui Luo
Some Algorithmic and Proof-Theoretical Aspects of CoerciveSubtyping.
Dans : Types for Proofs and Programs. International WorkshopTYPES’ 96, Aussois, France, 15/12/96-19/12/96, Eduardo Gimenez, Chr. Paulin-Mohring (eds), Springer,LNCS 1512 (1998), p. 173-196, décembre 1996.