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

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

Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

1 Downloads (Pure)

Originele taal-2	Engels
Pagina's (van-tot)	221-260
Tijdschrift	Informatique Théorique et Applications / Theoretical Informatics and Applications
Volume	27
Nummer van het tijdschrift	3
Status	Gepubliceerd - 1993

Citeer dit

@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 -