@article{ITA_1993__27_3_221_0, author = {Poll, E. and Hemerik, C. and Ten Eikelder, H. M. M.}, title = {CPO-models for second order lambda calculus with recursive types and subtyping}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {221--260}, publisher = {EDP-Sciences}, volume = {27}, number = {3}, year = {1993}, mrnumber = {1227944}, zbl = {0788.03016}, language = {en}, url = {http://www.numdam.org/item/ITA_1993__27_3_221_0/} }