Publications

Publications de

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