Publications de
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.