A Projection Model of Types. - David J. Lillie; Peter G. Harrison (FPCA, 1991)

Conjunctive Subtyping. - David J. Lillie (FPCA, 1993)