CPO-models for second order lambda calculus with recursive types and subtyping

E. Poll, C. Hemerik, H.M.M. Eikelder, ten

Research output: Contribution to journal › Article › Academic › peer-review

1 Downloads (Pure)

Original language	English
Pages (from-to)	221-260
Journal	Informatique Théorique et Applications / Theoretical Informatics and Applications
Volume	27
Issue number	3
Publication status	Published - 1993

Cite this

@article{b2518c92133945899962e39711752a6f,

title = "CPO-models for second order lambda calculus with recursive types and subtyping",

author = "E. Poll and C. Hemerik and {Eikelder, ten}, H.M.M.",

year = "1993",

language = "English",

volume = "27",

pages = "221--260",

journal = "Informatique Th{\'e}orique et Applications / Theoretical Informatics and Applications",

issn = "0988-3754",

publisher = "EDP Sciences",

number = "3",

}

TY - JOUR

T1 - CPO-models for second order lambda calculus with recursive types and subtyping

AU - Poll, E.

AU - Hemerik, C.

AU - Eikelder, ten, H.M.M.

PY - 1993

Y1 - 1993

M3 - Article

SN - 0988-3754

VL - 27

SP - 221

EP - 260

JO - Informatique Théorique et Applications / Theoretical Informatics and Applications

JF - Informatique Théorique et Applications / Theoretical Informatics and Applications

IS - 3

ER -