Bibtex de la publication

@Article{ SoLu2002.1,
author = {Soloviev, Sergei and Luo, Zhaohui},
title = "{Coercion Completion and Conservativity in Coercive Subtyping}",
journal = {Annals of Pure and Applied Logic},
publisher = {Elsevier},
year = {2002},
month = {janvier},
volume = {113 },
number = {1-3},
pages = {297--322},
keywords = {coercive subtyping, dependent types}
}