Coercion completion and conservativity in coercive subtyping

S. Soloviev, Z. Luo

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	297-322
Number of pages	26
Journal	Annals of Pure and Applied Logic
Volume	113
Issue number	1-3
Publication status	Published - 2002

Cite this

@article{d9a0ebb3136c44a4b7b801bbf63367b3,

title = "Coercion completion and conservativity in coercive subtyping",

author = "S. Soloviev and Z. Luo",

year = "2002",

language = "English",

volume = "113",

pages = "297--322",

journal = "Annals of Pure and Applied Logic",

issn = "1873-2461",

publisher = "Elsevier B.V.",

number = "1-3",

}