Publications

Publications de

Communications dans un congrès
  • 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.

    Résumé
    BibTeX

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par