Publications

Publications of

Conference papers
  • Sergei Soloviev, Alex Jones, Zhaohui Luo

    Some Algorithmic and Proof-Theoretical Aspects of CoerciveSubtyping.

    In : 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), pp. 173-196, December 1996.

    BibTeX

Department
Publication type
Criteria





Operator   AND   OR
Sort by