Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Productions scientifiques > Publications

Publications

Zhaohui Luo

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Articles de revues internationales / International journal papers

Conférences et workshops internationaux / International conference papers
  • Zhaohui Luo, Sergei Soloviev. Dependent Event Types (regular paper). Dans : International Workshop Logic, Language, Information, and Computation (WoLLIC 2017), London, 18/07/17-21/07/17, Vol. 10388, Ruy de Queiroz, Juliette Kennedy (Eds.), Springer-Verlag, LNCS, p. 1-13, 2017.
    BibTeX

  • 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

Rapports / Reports