CPO-models for second order lambda calculus with recursive types and subtyping E. Poll; C. Hemerik; H. M. M. Ten Eikelder — 1993 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications