Bibtex de la publication

@Article{ SoLoMi2000.1,
author = {Soloviev, Sergei and Longo, Giuseppe and Milsted, Kathleen},
title = "{Coherence and Transitivity of Subtyping as Entailment}",
journal = {Journal of Logic and Computation},
publisher = {Oxford University Press},
year = {2000},
month = {août},
volume = {10},
number = {4},
pages = {493--527},
keywords = {subtyping, coercion, system F}
}