%0 Journal Article
%A Poll, E.
%A Hemerik, C.
%A Ten Eikelder, H. M. M.
%T CPO-models for second order lambda calculus with recursive types and subtyping
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1993
%P 221-260
%V 27
%N 3
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_1993__27_3_221_0/
%G en
%F ITA_1993__27_3_221_0