Publications

Publications de

Articles dans une revue
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

  • 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.

    BibTeX

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par