%0 Journal Article %1 journals/ita/PollHE93 %A Poll, Erik %A Hemerik, C. %A ten Eikelder, Huub M. M. %D 1993 %J ITA %K dblp %N 3 %P 221-260 %T CPO-Models for Second Order Lambda Calculus with Recursive Types and Subtyping. %U http://dblp.uni-trier.de/db/journals/ita/ita27.html#PollHE93 %V 27

@article{journals/ita/PollHE93, added-at = {2019-05-24T00:00:00.000+0200}, author = {Poll, Erik and Hemerik, C. and ten Eikelder, Huub M. M.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2523d0746a5481da824cfb2b89fba0239/dblp}, ee = {https://doi.org/10.1051/ita/1993270302211}, interhash = {c4170bec7f1e6c62c442c0450b1d4586}, intrahash = {523d0746a5481da824cfb2b89fba0239}, journal = {ITA}, keywords = {dblp}, number = 3, pages = {221-260}, timestamp = {2019-09-27T11:34:37.000+0200}, title = {CPO-Models for Second Order Lambda Calculus with Recursive Types and Subtyping.}, url = {http://dblp.uni-trier.de/db/journals/ita/ita27.html#PollHE93}, volume = 27, year = 1993 }