Alexandre Miquel. A Model for Impredicative Type Systems, Universes, Intersection Types and Subtyping. In LICS. pages 18-29, 2000. [doi]
@inproceedings{Miquel00,
title = {A Model for Impredicative Type Systems, Universes, Intersection Types and Subtyping},
author = {Alexandre Miquel},
year = {2000},
url = {http://www.computer.org/proceedings/lics/0725/07250018abs.htm},
tags = {type system, subtyping},
researchr = {https://researchr.org/publication/Miquel00},
cites = {0},
citedby = {0},
pages = {18-29},
booktitle = {LICS},
}